In <code>snippets-html.scrbl</code>: <code>html$-article-open</code>

In <code>dust.scrbl</code>: <code>articles-pagetree</code> and <code>series-pagetree</code>.