Apparently github likes lowercase file extensions.