Adding a few comments to interactive_repy.py