partydeck-rs: a split-screen game launcher for Linux/SteamOS