Rohin Shah comments on rohinmshah’s Shortform

[Rohin Shah]

That does seem like better terminology! I’ll go change it now.