- code extractor, not generic (to be consistent with expected deployment
dir)
Merge branch 'master' of https://github.com:443/chrismattmann/drat.git