Hi Pilou, probably not on the FAQ since that is for "Frequently" asked questions and this does not really come up frequently...

You could make a new keyboard shortcuts page if you think it is necessary.

- Michael