shorter URL for serialization-format-properties help page