Update the documention to reflect the addition of -K|--no-known-types.