Anyone else seeing occasional, apparently random, coredumps from ksplashqml ?

Code:
paul@Orion-2017:~> sudo coredumpctl list
[sudo] password for root: 
TIME                            PID   UID   GID SIG PRESENT EXE
Sat 2017-07-29 13:21:47 BST    1448  1000   100   6 * /usr/bin/ksplashqml
paul@Orion-2017:~>
Despite the coredump the splash screen appears OK.