Add back doctest, with execution suppressed