[PATCH] remove verify_area(): remove or edit references to verify_area in Documentation/