Jasem does have quite a lot on his plate as is so having him hunt for magic patches with disparaging comments added doesn't help. Preparing a merge request at invent.kde.org/education/kstars and having discussion there would be the easiest way to get it merged.