Looks like @philogarden hasn't received any replies!