Prelude: doc: update introduction (#140)