Diese GNOME-Extension ist ein einfaches Werkzeug, um AppImages in den Desktop zu integrieren.