Knob extractor plus
#394

JoschD wants to merge knob_extractor_plus into master

We do not currently have an analysis of these two commits