Horosphere comments on Horosphere’s Shortform

[Horosphere]

Comment withdrawn.