Devices pagination "unstable"
When using the rest devices endpoint it seems that devices aren't always returned in the same order; Which isn't a problem apart from when using pagination to get all devices as a next page can return duplicates (and thus makes the client miss other devices).
On the collabora instance this only seems to happened when doing authenticated requests. We're unfortunately still on 2020.02 so this may be fixed in the mean time (though i failed to find any relevant commits nor issues.). Forcing an ordering e.g. by calling
devices/?ordering=hostname ofcourse also works around the issue