I could see this maybe being a Firefox extension but I didn't find one in a brief attempt. I wouldn't expect them to let you override it in settings anywhere.
Another idea: can you direct everything *but *the catalog in DNS to a static site explaining the error? Best, Eric Phetteplace Systems Librarian California College of the Arts libraries.cca.edu
