Warn if writing a file without the appropriate extension (#1978)

Warn if writing a file without the appropriate extension (#1978) #1695