Add some options for NerdCommenter