add more to the OS manual