This is a tiny html file, for when you only care about headers.