johnswentworth comments on Some Remarks on Regulator Theorems No One Asked For