history and nature of garnet-note-quitted ?

Hello,

I've noticed the presence of some calls to a USER:GARNET-NOTE-QUITTED
function. That function appears to be called only within the demos
code; it is called only when it is fbound.

However, there is no place where a GARNET-NOTE-QUITTED function is
defined, within the Garnet code -- such that I can find.

While this is expressly minor, yet I thought that I'd ask about where
that function was, what it was for, where it would have been
defined, if anyone would happen to recall.

I'm curious about it. Furthermore, since it is made as to be used
within the demos, and used when fbound, I thought it might be helpful
if it would be defined, somewhere.


Thank you.

--
Sean Champ
[email protected]