doc: fixed some broken in-page links, as reported by smallfish in #421.