https://gnulinux.ro/blog-page-6305-instalare-f-fsharp-pe-linux/blog/cat/6/blog-page-8877-better-application-menu-un-altfel-de-lansator-de-aplicatii-pentru-kde