* index.html: Update and publish marginalia.