post from @mdosch on 2019-09-24 14:21:01 -0700
@kas (re expanding) that probably was #txtnish then.