Richard Stallman <rms@gnu.org> writes:

>   > This seems to display fine for me under X.   Are you still having
>   > problems with that HTML file?
>
> I don't know what HTML file it was, any more.

It's this file: