[ticket/181] Correctly check if Board3 Portal extension is disabled