This version includes a workaround for the issue. You can disable the
workaround interactively using a toggle button.