You can delete these things instead of commenting them out, we have the git history if we need any of it back (e.g., docstrings)