Doc cleanup

I'll just throw several things into this pull request because the changes themselves are each quite small.

This fixes several broken sphinx in the documentation, namely references to a make target `dev-doc` which doesn't exist anymore, broken RST markup (`:para` instead of `:param` and not properly escaped backslashes).