Closed alexeagle closed 1 year ago
/lgtm
I would typically use code font for everything that's an identifier, yes. I'll leave that as a maybe-follow-up
/lgtm