Probably this will require some changes in documentation. But I still think it's a good idea to have tests with doctest. After adding such tests, we can remove duplicating tests from our test suite.