This commit does not introduce any significant modification, but only
reports in proto-standard some minor modifications done in proto-ext-whiterabbit