https://www.mediawiki.org/wiki/Help:Page_status_indicators
This was done in 634e91758f2b5230f1bb01ca24469acc14386131 in October 2020.