Regex pattern for Registry_Record in Status definition allows empty value (Counter API json defintion)

[HugoImaios]

In the JSON API definition, for the Status schema, there is a Registry_Record attribute, which is said to match the following pattern :
^(https://registry.countermetrics.org/(platform|usage-data-host)/[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}|)$
which allows for an empty value when its description states that Report providers who do not have a Registry record MUST omit this element.
I think the pattern may have been duplicated from the other Registry_Record definition in the Base_Report_Header element, but this one one legitimately allows empty values.