Category talk:Tools

I accidentally created a parallel category Category:Techniques, partly because "tools" wasn't an obvious reference to the concept. Maybe the articles should be moved there? Or is "tools" a better option? --Vladimir Nesov 22:44, 14 May 2009 (UTC)