[kstrauser]

I do love that change. I’d deleted Bartender when it sold out, and now I’m glad that I don’t need or miss it at all.