Some theme tweaks, + comment-or-uncomment lines are now also mapped to Cmd+/