IDE: Fix PLCOpenEditor (wxPython4 menus) and drop broken PDF doc support.

18 months ago, Edouard Tisserant