use redis for caching, cache code highlighting