Firefox extension: lets you use tools in the palette