TsviBT comments on TsviBT’s Shortform

[TsviBT]

(I don’t mind /​ would prefer this clarification in the comments?)