File extensions are a thing