This site used to feature Midi music from a jukebox. The Midis have been removed.
Some website browsers will not play them. Some web users don't care to have any
music play when viewing a page, although those used here were the best available.
Here is what this page looked like prior to August, 2013: