This file has been superseeded by doc/bugs.html. Check there.