Mango DAO Governance in Realms: Proposals with Instructions