Enable sphinx doctest extension and fix rendering of TDD docs page