Looks like @tundedrake hasn't received any replies!