[ericd]

Relax, I was mostly asking whether someone else who already knew about this stuff could comment on its veracity. There’s obviously no obligation.

[refulgentis]

Right (c.f. the thing I am replying to)