It's the one file I forgot to rename.
It was the old name of the lib, which was only meant in the "secret police" context.
Will rename as it was intended. I had totally dissocciated the
organization historically from their role in many ways, and fixated only
on the fact that they were a secret police organization, with a simple
name. Sorry if anyone took offence, none was intended. It was only meant
as a short word that would mean "Secret Police"