Search box missing from devices page

Oh I did realize that was you post. Let’s keep that discussion there.