jimrandomh comments on What I would like the SIAI to publish