I think I'm opposed to mentioning grin here, it's not that standard of a tool, the rest of the comment is valid, and should probably go to the line magic docstring to let users know about it