Update 0.80 release notes

... to the coordinator config properties.