That was why I was thinking of standardising on a single extension (i.e I assume btm allows arbitrary extensions). If btm only allows .btm or .txt then I agree check for both. If it could be .anything then I think we should choose one and it is an error (PR review) to allow anything but that after notification via the forum.

Therefore, do we know what extensions are supported?