Simplify themes.md more.