Non-"empty" translations of [[MediaWiki:Edittools]]