@waja sorry for not responding sooner. I think the PR looks pretty good and am gonna work on getting it into a state where it can be merged over the next day or so. We'll need to rebuild and make sure the upgrade path works properly, though.
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/issues/1273#issuecomment-58192377
