Said Achmiz comments on gwern’s Shortform