We're usually putting this into `#` comments, not docstrings.