I agree…
Yes, I could re-program everything to use websockets to get that data but why not expose that data via the REST API?
UPDATE apr-2022
Just tested websockets but the area_registry and device_registry don’t seem to be available anymore.
In that case this enhancement request should be back on the table?