I have made some changes to my manage.py, namely, adding a different directory
to the path. The Ctrl+Alt+R shortcut/popup doesn't take these changes into account. Seems it tries to load the
pydevconsole.py and not my manage.py. Is this correct? How to account for the changes to my manage.py?? Shall I file a bug report?