This will need to be documented. Note that we just switched to triple slash (#812).