Are these tests just to check that the documentation examples work? Because (as you know) the doc generator can now run those examples, so I don't think these are required.