github does not serve arbitrary files as HTML