src/joj.html: editorial changes for brevity