device listing page improvement
Devices were already sorted by location and then by name, but now they are also visually grouped by location using headers.