The joy of playing single-player games in a Discord group