That was me :-) It puzzled me that there was no public comment about it.