create_shared_models_manifest.py: raise an exception when non-ASCII chars are found
Add missing <cstdint> header
CI: harmonize naming of inputs and reduce verbosity
Command line parsing in dedicated function
Initialize locale
Make sure os.walk() does not silently ignore errors
frozenset() might be more efficient
Small things