rolling back no-extension HTML test file, it works