Re: [Hackage] #132: Add "tools" field (like "extensions")