Add .terminal file extension to themes