A repository for literate documentation