Pregmod dev

pregmodfanrequested to merge
pregmod-dev into pregmod-master

Renaming of PC for some reputation loss (why be stuck to male name if you get sex change?)

Merge request reports