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

[gwern]

Obormot’s working on it.