Add o.proxy documentation.