lucy24 - 9:20 pm on Aug 27, 2011 (gmt 0)
It occurs to me that you (or your bosses) may be confusing the file name with the page title. The filename is seen only by computers (and by people who study the exact content of the browser's address bar). The title is the text that appears at the top of the window. It's basically just a special category of content and can be almost anything, provided it isn't too long and you've dealt with file encoding.
Something like <title = "Which Terminal?"> is perfectly fine ... so long as the file it's attached to is called, say, which_terminal.html