Looks like @conlan hasn't received any replies!