Nimbus now assumes that a file to be downloaded is HTML if it has no extension.
This is probably bad, but better than nothing.