Reddit highlighter: rename and add support for HTTPS