I can also confirm that it worked. Looks like the search bar produces the issue here. But I’m wondering if the issue still happens on the other sections which got mentioned here (like the 3rd-party repo section)?
Off Topic: Also, depending on your UEFI settings, you may not be able to use Secure Boot currently like described here.