Somewhat final version of uni docs