Actually, it does show up in abrt, which says that the problem has been reported, but a
Bugzilla ticket has not been opened. I just tried reporting it by uploading a core dump,
but there was a server-side error. I'm not happy about either the security risks
associated with uploading the core dump, or the alternative of installing a huge number of
debuginfo packages, so for now I'll just work around it. I suppose I could file a bug
against libX11 which owns /usr/lib64/libX11.so.6.3.0 and see what happens, but they would
probably require the same information.