Update Prelude documentation