Wikimedia MediaWiki Core Team/Quarterly review, October 2013/Notes