One of them seems to have deleted the comment just as I commented about this. Also downvoting is an option? It doesn't seem to be visible here.