Add hot-redis to projects
Correct some post extensions
New post: Higher Order Types for Redis
Re-gen tag indexes