When logging out individual devices, a full refresh doesn't seem necessary

(Perhaps should be bug, not sure if this is an intentional design or not)
I periodically clear out some of the older/unused devices on my account, but doing them 1 by 1 is annoying because every one I sign out causes a full page refresh. Doing the same thing as an admin to a different account doesn’t have the same effect, and seems like what would be expected (except then the devices are left on the list and don’t go away until that page is refreshed).