Clarifications about INTRODUCE1/2 extensions

Ian Jacksonrequested to merge
Diziet/torspec:intro-ext into main

This is all very confusing. State explicitly some of the things which are true but surprising.

Merge request reports