Completed the documentation of the new `-P' commandline option.