Looks like @gordianknot hasn't commented yet!