KDE Plasma 5.13.3 release: fix bugs