Update the manual with new shell configuration properties.