MediaWiki:Achievements-badge-name-edit-5

These are tools, but no one is using them. I wonder what they're for anyways.