Either is fine, our docs could use some major cleanup anyway, but no reason to block this major patch on it.  Once this lands we can start polishing it.