Re: more convenient place for release notes?