post from @freemor on 2019-08-04 19:23:38 -0700
@mdosch I was responding to a comment by @cmaughan