@daniel-beck noted that a comment is obsolete as of 882ddb0; deleting.