Joe,
That website used all the pilots on the seniority list...it didn't exclude non-active pilots. I wish I saved my snapshot but I believe my results are similar to yours.
Our pilot head count has been pretty static the last few years. It's always around 12,500 give or take a hundred. I still think hiring is barely keeping pace with retirements.