Add a small note to comparison-with-original-proposal.tex