Looks like @gordianknot hasn't received any replies!