cfleming
public fun Map<String, Any?>.withLeinSettings(): Map<String, Any?> { val ret = HashMap<String, Any?>() ret.putAll(this) ret["gpg-path"] = leinSettings.gpgPath … etc etc ... return ret }