updated example01.py with working jump_to and file extension retrieval of current doc