Looks like @schrijver hasn't received any replies!