imho it is ok to leave it -- we would regenerate that file eventually (might well be done by you happen you have help2man installed): man/generate-man