adjust the props script to work with the new repo layout

dropped the release-notes entries, since those have moved
to places that are hopefully already covered by other props