Looks like @grihill hasn't received any replies!