Document new optimizers...

... And fix license.txt. See #873.