On Sun, 29 Jul 2018, Gerald Pfeifer wrote:
> ...and avoid a few that weren't referenced.
>
> This is the next step in cleaning up and simplifying our pages for
> a transition to the (simpler) HTML 5.
Turns out that also here there were a quite a few I missed, including
some rather creative ones s
...and avoid a few that weren't referenced.
This is the next step in cleaning up and simplifying our pages for
a transition to the (simpler) HTML 5.
Applied; and below a follow-up patch since a few idosyncracies
escaped my own verification.
Gerald
Index: projects/ast-optimizer.html
