Viliam comments on michaelog’s Shortform