More verbosely document optional PHP modules.