robe-show-doc: remove the `interactive' form

Closes #24