Simpler and more effective bad-document test
Promote bad doc test to user-run test