[ann] [hunchentoot-announce] New release 0.14.7 (Was: Workaround for OpenMCL bug in ENOUGH-NAMESTRING)