Convert more libraries to the new doc format