DLMF indexing is beta-ready, first good-looking indexing run achieved.