Document # headers being stripped from READMEs on Pursuit

[ursi]

I just realized the # headers on my README are not being displayed on pursuit.
GitHub
Pursuit

[hdgarrood]

Yes, this is by design. Usually the h1 headings, ie those introduced by a single #, contain the library name; we remove them in Pursuit because otherwise it would be duplicated. You shouldn’t really have more than one of those per file. You can fix this by just demoting each heading: each # should become ##, each ## should become ###, and so on.

[ursi]

I see, is this behaviour documented anywhere?

[hdgarrood]

It’s not, unfortunately. There’s a help page for package authors here: https://pursuit.purescript.org/help/authors which would be the place to put it.