Clone of official tools

options.py/shortlog@66f3b5499f7f: not found in manifest