Doing my compulsory social work as my apologies over two inappropriate tone comments in recent PRs. Not sure which email address we should put here for enforcement, so, I've put @jimmywarting who very politely called my attention on this matter.