Fix docgen, update Prelude docs