Changing category name Edit

Honestly, I think it's probably more appropriate to rename this category Developers, but it's more of a trivial matter. I'd be curious to know if there's anyone else with an opinion, but I may very well have to wait a while for an "anyone else." :P — The JoTS on yer wall. (talk) 06:55, May 21, 2016 (UTC)