Smong: suggestion to split tools subsection into the following: bots, chat clients, map editors, other. Then you can get rid of the bots page (dunno if Bot definition exists) and the ChatNet Clients page.
