Update notes for submitted changes

* Adoption of pre-0.5 environment API to MuranoPL format