I've reported a couple of autodoc bugs, at https://bugs.launchpad.net/slime. The first of these was four months ago. Is anyone tracking these? Is autodoc actively maintained? Thanks. - nick