Looks like @hankp hasn't received any replies!