With the search bar in the black part of the portal, you can search over the whole portal:

You can search for the following parts:

• User (Full name & Email)

• Devices (Friendly name & Serial number)

• Workspaces

• Resources (Name & Resource ID)

By clicking in the results, you can directly jump to the details: