Documented that threads *must* be created with BORDEAUX-THREADS:MAKE-THREAD