DEV: Work around HTMLElement.innerText differences between browsers (PR #14297)

GitHub