add User Prelude to documentation