BikINI/ specification/ issues/ 5.4.6 envelope sender attribute source

See 5.4.5 envelope recipient attribute source, as that reasoning applies here as well.

Issue done.