An informal collection of configuration files for PC-lint/Flexelint