At the beginning of the shortcuts chapter, in the manual, it is already mentioned the problems of the Alt key on some DEs. Do you think it is better to deepen/clarify?