Leonard C. Maximon, Associate Editor of the DLMF, dies at age 94