Looks like @blatinier hasn't received any replies!