I am not sure if this is the right place to post this topic. I've already mailed Marlinspike about the bugs. Just for reference, in case people encounter such problems later but can't figure out the...