Code

stderr plugin: Add `File' config option to log to a certain file.