I know that this is annoying, but I think it is important for a short
while. The message that I'm leaving is a notice that an extension is
being unloaded. This is because now extensions are getting unloaded if
they aren't used for a while -- and this code has never been used
before. But, since it happens seemingly randomly, I don't want people
to start debugging something that is actually a bug in these unload
routines. Now, I think that I've tested all the cases, but I'd like to
keep it in for a while to make sure.