Subject: [MLS] Reorg complete

From: Richard Barnes <[email-masked]>
Date: Mon, 31 Jan 2022 22:15:53 -0500

Hi all,

The series of PRs reorganizing sections in the MLS protocol spec have now
all landed.  (Except for one that is so small I’m not counting it.)  The
spec should now be safe to make PRs on without risk of bad rebases.

Thanks to Rohan and Brendan for helping get this done!

—Richard