I suggest making it a ``.html`` file as there is strictly no PHP in it (I know we already have some static files using the php extension, but new ones should better use the html extension when there is no PHP)