Have to undo one recent change introduced in #435 in order to keep the section consistent with what it was doing before. Also, while at it, add spaces around +.
I'm not maintainer here, but + is definitely good style :-)
',' or ', ' is IMHO purely a matter of preferences in the output formatting.
Either is fine with me.
Have to undo one recent change introduced in #435 in order to keep the section consistent with what it was doing before. Also, while at it, add spaces around
+
.@katrinleinweber, LGTY?