Please add one-liner comment `// workaround for Bugzilla 11239`