Merge proposals

Jesse and Alexandros' documentation team has no merge proposals.