Made Config.prc general-purpose. Tweaks and comments.