Provide a command-line option for toggling the page generation, similar to other options like "-noindex", "-notree", "-use", etc. Whether or not the System Properties page is generated by default is to be defined