Ideally, we would have used the original texinfo code, and filtered it through
[[!format text """[...]"""]], but that doesn't work, as there apparently is
some interference between pre-processing hooks of different plugins, and thus
the result doesn't look like it should.
because he knows the time is short. Let him who hath understanding reckon the number of the beast, for it is a human number, its number is six hundred and sixty six.''
