[tbodt]

All GNU documentation is written in this format. But here they seem to have neglected the standard procedure of converting to HTML before publishing...