Thanks for reporting. All these bugs and non-bugs have been adressed here. #4 is a debugging tool. #3 and its workaround have been mentioned before