@stijndm Thanks for catching this. The problem is we named two different things “Categories” in that menu… I think this is common enough that we should probably officially make cmd-shift-C for show categories. I’ll do that for the next version.