How to export devices (not inventory)?

Question

I'm still pretty new to GTR, and trying to see if it's possible to export the device list. According to How can I export Devices? - GoTo Resolve Support (last updated 2023) it should be possible via a three-dot button in the upper right, however that button does not exist for me:

(the gear button only has settings for the below table, to hide/show various columns)

I can export from inventory, but we've got a mismatch between devices and inventory and the console won't tell us why, so was hoping to export the two and compare.

TimothyD · Accepted Answer

and just figured it out, need to select all devices from the results below, and then in the device management flyout there an export option.