/etc/desktop/application-registry/

• ../
• proofgeneral.applications