On 2017/10/18 18:04, Borislav Petkov wrote:

On Wed, Oct 18, 2017 at 10:44:48AM +0100, James Morse wrote:

quoted

What should we call this thing?

My only pet peeve is having abbreviations everywhere and nothing
explaining them.

So whatever you guys decide upon and as long as there's an explanation
what those things mean and you stick with that name, is perfectly fine
with me.

surely, we will, thanks Borislav's reminder.