As promised, here's the refined Flatpak packaging that had resulted in the creation of solarus!1356 (merged).