DEV-RELEASE-INFO.org must not be included in releases.