[gambit-list] Suggesting silently released mutexes