The following line
? pragma.syntax("0.8")
declares to updoc that further updoc passages on this page are in the now-deprecated E 0.8 syntax.
