Это очевидно, что сохранить надо именно так (хотя это нельзя сделать, если вбиваешь адрес файла вручную, а ссылки нет), но просто я привык, что те же zip по умолчанию предлагается открыть или сохранить, а когда 7z в виде текста стал раскрываться… Удивило и то, что другие браузеры справились без подсказок.