Tweak Language Reference documentation

[pikinier20]

• For sections that had overview page, changed the index of section to overview and created redirects so that link to old overview.html leads to index.html
• Added dummy index pages to sections that didn't have any index. The default content of index page is a table of child pages.
• Turned off snippet run feature for snippets that are not checked with snipper compiler or failed.
• Deleted version picker for reference documentation

[julienrf]

The diff looks good to me, but please share the PR online URL when it is ready so that we can do more checks.

[julienrf]

Great idea!

[pikinier20]

https://scala3doc.virtuslab.com/pr-tweak-reference-documentation/reference/index.html

[bishabosha]

https://scala3doc.virtuslab.com/pr-tweak-reference-documentation/reference/index.html

I looked at this, shouldn't the more-details pages be hidden from contents/index? - if not I guess in the future we can do more to maybe inline the content of those pages

[julienrf]

Apart from the point raised by Jamie, this looks great!

[pikinier20]

The More details pages were hidden but I revealed them at some point. Isn't it better to let user know that such page exists instead to have only one place on site where he can navigate to it?

[bishabosha]

The More details pages were hidden but I revealed them at some point. Isn't it better to let user know that such page exists instead to have only one place on site where he can navigate to it?

I considered that the reason they did not appear in the nav-bar was because those pages are meant to be "private to" the page they are linked from, and its just incidental that they had a different url. So I advocate in this case for modal content, or "reveal" boxes or whatever - or if none of that then we should retitle the pages or inline their content

[pikinier20]

We can make another section on these pages called: More details and then put there the "more advanced" stuff.

It will work great with Table of Contents

[pikinier20]

@julienrf @bishabosha If the "More details" pages are the only concern, could we merge this PR and make another PR with the documentation changes? Perhaps you wanna take it over?