There&#39;s such an extension that basically redefines faces and (ideally) adds other functionalites in *Help* buffers?<br>