testing github deployment, there is something strange happening. The page has the wrong HTML HEAD.