This is roughly the last commit that should be attributed to my work during PP1 making the Perun adapter.
