[23:16:18] <wikibugs>	 10serviceops, 10MediaWiki-General, 10SRE, 10MW-1.35-notes (1.35.0-wmf.28; 2020-04-14), and 3 others: Some pages will become completely unreachable after PHP7 update due to Unicode changes - https://phabricator.wikimedia.org/T219279 (10Jdforrester-WMF) No, I believe the final step post-upgrade hasn't yet be...