Michael Schempp: Fixing Bugs and Bad Software since 2013