(Sorry Deuce).
If/when HTMLterm is resurrected, this logic should probably go into a
subordinate module that's invoked when appropriate.