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