Clone of official tools

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