Ben Pace comments on August 2019 gwern.net newsletter (popups.js demo)