Remove "View page source" from feedback menu

[amotl]

About

• Removed "View page source" from Feedback menu #655 tried to make a start, but would have left a void.

Details

Why would people ever want to view the source?
Is it about external people or internal employees (sales & marketing) wanting to reuse snippets of our docs?

Yes. Many need to reach out to the source representation for various reasons, including authors and machines for reference purposes and harvesting, specifically in the era of LLM crawlers. ¹

Options

We have more options here, for example it could be enough to link to the raw source provided by Sphinx instead of GitHub, and/or tame the visual representation of the link like other themes like Furo are doing it. ²

-- example

Footnotes

1. See also cratedb-outline.yaml. ↩ ↩²

2. The link reference doesn't necessarily need to be as prominent like today, and also doesn't necessarily need to link to GitHub ¹. However, we designed our "Tool" menu like it is today the other day, so it would need a slight rework for transitioning over to the "tamed" icon-based variant. ↩