Eli Zaretskii <eliz@gnu.org> writes:

> I think just removing the sentence that refers to the bug report
> should do in this case, as both the problem and the only workaround we
> know about are already described.  With that change, we can install
> this in PROBLEMS.

I've pushed the attached patch to master as commit 2fd9860481.

Should this bug be left open?