[01:32:02] <wikibugs>	 10MediaWiki-Releasing: Bundle Extension:DynamicPageList3 with MediaWiki - https://phabricator.wikimedia.org/T397133#11439103 (10Mr._Starfleet_Command) At the vary least, I'd suggest we wait till DPL4 has a stable release, since that's supposed to come with significant performance improvements.
[01:47:04] <wikibugs>	 10MediaWiki-Releasing, 10MediaWiki-extensions-CodeMirror: Bundle Extension:CodeMirror with MediaWiki core - https://phabricator.wikimedia.org/T391926#11439114 (10Mr._Starfleet_Command) Agree that this should be bundled, but wait till v6 is out of beta.