Minor improvements to index/install/intro docs

[maresb]

Here are a few suggested cleanups for the docs. Please feel free to unilaterally revert any of these changes. I may make changes, but also feel free to merge now if you think it's an improvement.

I don't like that we duplicate install instructions between index.rst and install.rst. I think we should replace the "Install Aesara" section of index.rst with a link.

I was also wondering: is there some simple way to check which backend is in use?

Thank you for opening a PR!

Here are a few important guidelines and requirements to check before your PR can be merged:

• There is an informative high-level description of the changes.
• The description and/or commit message(s) references the relevant GitHub issue(s).
• pre-commit is installed and set up.
• The commit messages follow these guidelines.
• The commits correspond to relevant logical changes, and there are no commits that fix changes introduced by other commits in the same branch/BR.
• There are tests covering the changes introduced in the PR.

Don't worry, your PR doesn't need to be in perfect order to submit it. As development progresses and/or reviewers request changes, you can always rewrite the history of your feature/PR branches.

If your PR is an ongoing effort and you would like to involve us in the process, simply make it a draft PR.

[rlouf]

The doc has changed substantially since #1413 was merged, so you'll unfortunately need to solve the merge conflicts. The changes look good.

[maresb]

Ah, ok, no worries. I'll take care of it once I find the time.

[maresb]

Is there a simple way to check which backend Aesara is using?

[rlouf]

Is there a simple way to check which backend Aesara is using?

I might have misunderstood your question, but Aesara is always using C unless you specify aesara.function(...., mode="JAX") or aesara.function(...., mode="NUMBA").