bookmarks.html: latest update

Apparently, I forgot to actually run ./generate-bookmarks-html after the
latest changes. D'oh.