Masanes-Galley-Müller and the State-Update Postulate

Masanes, Galley and Müller claim to have derived a unique rule for quantum state update consequent upon a measurement outcome. Upon closer examination, their proof implicitly assumes its first step, namely that the state-update rule is linear.