terminology-theme-dark+: new-package-should-close-itp-bug
