doc/jldoc.py: update docstring