Indeed, I can repro the issue.
We just changed this element to something new, so this issue should no longer relevant after that change becomes the default.
In the meantime, I’ll see about a quickfix.
Indeed, I can repro the issue.
We just changed this element to something new, so this issue should no longer relevant after that change becomes the default.
In the meantime, I’ll see about a quickfix.