Fiddling with stuff, e.g. js-red-dots in the header