(instead of editing it, Lemmy decided to post my edited comment as a separate comment and I just deleted it. Sorry for pinging your inbox!)