Some sections that we need to uncomment are commented out using just the `#` character. Others are commented out with `#-space-space`. Makes it easy to mess up indentation of code.