niplav comments on Czynski’s Shortform