404 for unknown extension

Leaving #814, #812, #810, #809 open for longer-term work.