Ya know, the infodiv _could_ house actual HTML instead of ASCII art...  Just sayin'.