Convert ctx from an ABC to a mypystub

Required a bunch of renaming from ctx.Ctx to ctx.Context (its real name)

Makes the docs actually show docstrings

Also apparently mypy doesn't like "from typing_extensions import Protocol" and the fact that it didn't complain so far means that we're probably not type checking everything.

approved this merge request

added 2 commits

• 671343a0 - 1 commit from branch main
• 6690795b - Convert ctx from an ABC to a mypystub

Compare with previous version

Ok turns out I was missing a couple of renames in sim/fakes! Now this works

added 5 commits

• 6690795b...8e687558 - 4 commits from branch main
• 2439ffad - Convert ctx from an ABC to a mypystub

Compare with previous version

enabled an automatic merge when the pipeline for 2439ffad succeeds

merged