LMFDB stats are healthy!