Add newly generated pico]OS documentation.