Thread:Manual talk:What is MediaWiki?/Proposed merger