Update proposal.md