Yes, thanks for checking with us :)
As long as there's a way to look up where the font originated from, people playing games made in Adventuron will be able to find the font. (Perhaps an indication in the source by naming the font file "Kitchen Sink by Retroshark and Polyducks" wouldn't hurt)
Thanks for including our font!
Yes, the font license text will be embedded in every HTML "compiled" with Adventuron. It will also be available via the *CREDITS command.
I can't guarantee that every game will put the font attribution front and centre though. That's up to authors themselves (I will encourage it in the documentation of course).