Android GUI: Hide patcher customization cards too when launched via the PATCH_FILE intent