Merge "Rename and Redoc VMS HAL defs." into oc-mr1-dev