[patch] why3 tutorial: use numbered list for Einstein hints
Please see the attached patch suitable for git am
application:
0001-why3-manual-Einstein-problem-use-a-numbered-list-for.patch.
I could send this (small) patch as a Merge Request directly, but only because I happen to be an INRIA employee. For other contributors, using gitlab.inria.fr does not let them create Merge Requests, leading to the creation of forks on other hosting platforms (for example https://github.com/kit-ty-kate/why3). In solidarity to these suppressed contributors, I won't use the Merge Request feature myself. I think it would be nice to consider using a platform that is actually open to external contributors, for example https://framagit.org/ (also gitlab, also the Open Source version)