docs: Fix small formatting errors

[iFreilicht]

The MD preview on GitHub is incorrectly formatting the || operator as part of the table. mdbook correctly interprets this as code.

Motivation

Small formatting errors. See screenshots below.

Context

Trivial docs change.

Checklist for maintainers

Maintainers: tick if completed or explain if not relevant

• agreed on idea
• agreed on implementation strategy
• tests, as appropriate
  • functional tests - tests/**.sh
  • unit tests - src/*/tests
  • integration tests
• documentation in the manual
• code and comments are self-explanatory
• commit message explains why the change was made
• new feature or bug fix: updated release notes

[abathur]

This appears to basically revert #7638, which makes me think the renderers may be disagreeing?

[iFreilicht]

That is indeed the case. Actually, it seems to be a bug in mdbook's dependency pulldown-cmark since 2019. I opened a bug report with mdbook linking the pulldown-cmark issue.

• Code with pipe character in table is impossible to write correctly rust-lang/mdBook#2000
• Problems with escaping pipes in tables pulldown-cmark/pulldown-cmark#356

I reverted that line, so this PR now only contains the fix for the anchor link and removal of a trailing whitespace.

[iFreilicht]

Ha, so in the mdBook issue a workaround was mentioned using <code> tags instead of backticks, and that actually works! I added that fix, built it with mdbook locally, and it works! So now the PR would be ready to merge, @fricklerhandwerk :)

[fricklerhandwerk]

Looks good, thanks a lot!