Loading: Doma goes public, but investors cash out early