sat_minimize and unknown options
I just run autfilt --sat-minimize='Streett 1' instead of autfilt --sat-minimize='acc="Streett1"' and got no error message, because unknown options passed to --sat-minimize are just ignored.
This is a general problem with option_map objects, but we should find a way to address it. In the case of --sat-minimize it would be enough to verify that all options are known.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information