Alice softlists: Many documentation fixes and a bunch of new dumps.

mc10.xml: 3 new alt dumps