On Wed, Oct 18, 2017 at 10:44:48AM +0100, James Morse wrote: > 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.