[08:48:58] <wikibugs>	 10Machine-Learning-Team, 10ORES, 10Growth-Team, 10MediaWiki-Recent-changes: User: Wikipedia recent changes list the edit highlighting by ORES has disappeared - https://phabricator.wikimedia.org/T346175 (10lettherebedarklight) {F37753766}  seems to be working now?