Better highlighting.
tree74b491315e32f20dabce3eab991bd61fe96a1a0f
-rw-r--r-- 18007 COPYING
-rw-r--r-- 877 FeedLint.xml
-rw-r--r-- 853 display.py
-rwxr-xr-x 5694 feedlint