Clarify and interlink EST_INTRO_DOS_EXT extension
This patch tries to clarify the relationship between the EST_INTRO_DOS_EXT extension, the rate-limiting mitigation, the related parameters, and the HSIntro subprotocol, and add appropriate links between them.
This comes out of work on arti#723 (closed)