Update Prelude docs