github is confused about prototype.html...