Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
220.127.116.11: Downgrade WARNING to STYLE-WARNING for *possible* type errors
* Detect some cases that might not lead to type errors, and signal
a STYLE-WARNING instead of a WARNING then.