Clone of official tools

options.py/shortlog/shortlog@8ea194f6145b: not found in manifest