@graydon says that a type that is suffixed with /&r describes that this type holds a borrowed pointer from the region r. This needs mentioning in our documentation.