Don't test DocTest's doctests