Help Menu Link Broken
The help menu option links to https://apcocoa.uni-passau.de/2019.1/?top&utm_source=product&utm_medium=link&utm_campaign=PC&utm_content=2019.1 which does not exist. It seems like to last part is automatically added by IntelliJ.
Maybe we can remove this menu option and add our own help options in the 'CoCoA-Part' of the menu-bar.