RFC: extension trait conventions
Prelude clarifications
Merge remote-tracking branch 'aturon/extension-trait-conventions'
RFC 445 is extension trait conventions