Rename MemSQL docs to SingleStore

[colebow]

Description

We've fully deprecated the memsql name, so we should change the name of the .rst file so it appears as "singlestore.html" in the browser URL. Tested & built locally, doesn't seem as if anything else links to this page.

Additional context and related issues

Follow-up to #16180

Release notes

(x) This is not user-visible or docs only and no release notes are required.
( ) Release notes are required, please propose a release note for me.
( ) Release notes are required, with the following suggested text:

[ebyhr]

doesn't seem as if anything else links to this page.

I didn't rename this page intentionally because I have concerns about external usages (=not managed in this repository). We don't care about it? Relates to #15467

[mosabua]

Yeah .. we want to look at the redirect stuff in parallel

[colebow]

doesn't seem as if anything else links to this page.

I didn't rename this page intentionally because I have concerns about external usages (=not managed in this repository). We don't care about it? Relates to #15467

It's possible some pages aren't indexed by google, but I can't find an external link to our memsql/singlestore docs at all.

[colebow]

@electrum @jhlodin borrowing from #15467, I've added a redirect plugin to this PR. To allow the build to function for now, I've removed the "-W" flag, which no longer treats build warnings as errors. I've opened up a pull request for the plugin to fix the warning, and once that's included, we can re-add the -W flag.

[jhlodin]

Note that this would require a new Sphinx docker image (with the new redirects plugin) to be pushed to ghcr.io, which @electrum handled when we upgraded Sphinx to 5.0.2 last year.

[mosabua]

How? Maybe link to issue and also detail what version was modified .. so we can figure it out a bit easier in the future

[ebyhr]

The commit order is wrong. "Add redirects extension ..." should be the 1st.

[mosabua]

Looks good now. Lets make sure we check upstream now and then and see if they cut a release .. then we can get rid of the inline redirect and build a new container image and use that.