Thanks for sharing the comprehensive info. Instead of making any change I guess I just avoid using PORT range(5000,7000) for dev and debug.

It seems we will have to get used to use Ctrl instead of Opt from now on.