For #5852: Clicking an Extension Manager tab while still loading will show it

For #5852 and #9466.