Documentation moved to pren-et/doc (pren-et/doc/#2)