- Open a wiki you have no editprotected rights on it.
- Open, for example, MediaWiki:Wikimedia-copyright for source edting ("View source").
Checked on a coouple of wikis to be sure it isn't a local bug.
Seems it should be removed. Thank you.