The macro tt(htmlbodyopt(option)(value)), which is described earlier, can be 
repeated up to six times: the HTML converter currently supports up to 6 
option/value settings. When the need arises, I'll implement more.
