@jadbox c86e5ffd13f2ebb66e9d88739750b8619d9ba646 should have removed them from `index.html` as well, right?