Delete a sure-to-be out-of-date BUGS section