Good point, the movement is more isomorphic with a fully spherical 2D geometry game than I was thinking. But I still wouldn't say it qualifies as non-euclidean in the same sense as hyperrogue at all, given that you aren't fully stuck on a sphere (and they don't give any way to change the view to a top down 2D spherical geometry view; because it's actually just a regular 3D game).
More relevantly to your original comment, it is always going to be far easier to understand 2D spherical geometry (possible to create in 3 dimensions, we see it every day) than 2D hyperbolic geometry (not possible to create in 3 dimensions, completely foreign to us), so I don't think it is a 'display' issue at all.
> so I don't think it is a 'display' issue at all.
...you just complained that moving around a sphere should count as non-Euclidean if it's displayed inconveniently, but not if it's displayed conveniently. But you don't think that's a display issue?
The hyperbolic paraboloid is not an isometric embedding of the hyperbolic plane H2 in Euclidean space E3, because it does not have constant negative Gaussian curvature.
In general it is impossible to have an isometric embedding of H2 in E3, although it is possible to have isometric embeddings of fragments of H2.
More relevantly to your original comment, it is always going to be far easier to understand 2D spherical geometry (possible to create in 3 dimensions, we see it every day) than 2D hyperbolic geometry (not possible to create in 3 dimensions, completely foreign to us), so I don't think it is a 'display' issue at all.