Documentation bugs

I have a couple of minor documentation bugs that I am happy to contribute but not sure what the process for these would be. Is it just a matter of cloning the repository and then submitting a pull request?

the Stan documentation has just been moved to repo docs.
if it wouldn’t be too much trouble, please file an issue then fix.
or just file issues.
cheers,
Mitzi

OK glad I asked, will do

many thanks in advance!
there’s lots of work to be done on the docs and we appreciate your help.
here’s more from the discussion around this repo: