Add comment about the deadlock assertion in libmn.cpp