Hrm, I guess that might be a good idea... Maybe like at the end of the list, after the last shown server, not at the top with Play Build and Edit typically are.
Yeah, typically I'm rather critical of ideas, but I can't find anything wrong with this one. |