So there is a technical reason behind this? Is there any particular reason not to let everyone see the miniprofiler but to have it default off? Or at least to let every moderator and admin see it?
agreed
it is not. and I am not sure if there is precedent for only including specific shortcuts there to those who have access to them.
Incidentally, on my mac the shortcut is option+p. So if we want to add it, we’d want to display that to mac users.