Correct link to discussion about CRITICAL_SECTIONs vs. mutexes. Thanks to