Fixes #1078: groups items into 'Tools'.