post-release BUGS noted