Python: Add small api enhancements determined useful during documentation work#5398

RasmusWL merged 6 commits into

github:maingithub/codeql:mainfrom

yoff:python-api-enhancementsyoff/codeql:python-api-enhancementsCopy head branch name to clipboard