Better documentation in hdevtools.el.