Comment by mkesper

There's grill-with-docs now, which Matt sees as successor.