Ignored devices count

Using 22.8.12244

On my dashboard, in the summary widget the entry for "Devices - Ignored (Dev)" is "4 ignored"

However, if I click this, there's only one device listed.

If I look through the list of all devices, I can see the four devices in purple.

As far as I can tell, the ignored count shown in the summary views counts devices that have EITHER 'device settings -> device ignore' OR 'alerts -> ignore until' selected

but the view filter /devices/ignore=1/ only lists devices with 'device settings -> device ignore' selected

expected behaviour would be for the view filter to list both!

Many thanks