an end to the generated-documentation experiment