[09:32:13] <wikibugs_>	 10Scoring-platform-team (Current), 10JADE, 10Documentation: Create mediawiki.org article for Extension:JADE - https://phabricator.wikimedia.org/T189938#4149088 (10MarcoAurelio) I see the page has been expanded. Is this task done already? Thanks!