An additional advantage of that arrangement is that the notation on the HTML level can be directly viewed as input to Lisp and other similar programming languages.
This does not exclude that there will be some examples of formulas even in the HTML pages - they have been rendered via GIF code. However this is so inconvenient that we do not do it all the time.
The following is a simple example of a chronicle in HTML level format:
(schedule) (do (ivl s0 s1) load) (do (ivl s1 s2) wait) (do (ivl s2 s3) fire) (observations) (see s0 (loaded F)(alive T)) (question) (see s3 (alive T))