More documentation for robru-configure.
Drop some unused defuns.
robru-configure 'files