Simplify themes.md a little bit.