I don't think this is a real showstopper. Our internal verify procedure lacks

even more and I consider this more a useful feature request than a release
showstopper.