frontier64 comments on jacquesthibs’s Shortform