Jakub Halmeš comments on Jakub Halmeš′s Shortform

[Jakub Halmeš]

I did not realize that. Thank you for the reference!