> So it has a rather small target audience of people who know what hyperbolic space is but didn't know that fact about triangles.

Accidentally, I’m in that small set: I have a hand-wavy understanding of hyperbolic spaces (the high school I went to was named after Lobachevsky!), but I haven’t studied the geometry and didn’t know the formulae for area.