← Feed @jdw@mathstodon.xyz Post #3670589 2026-07-05 13:10 UTC @phosh@social.phosh.mobi I'm missing this in GNOME, creating .desktop files manually for this is a bit annoying… Replies (0) No replies.