Dealt with, but GitHub hasn't squashed this comment.