html/: Adjust the varnishtop thing