Removes unused commands.
Updates readme.
Fixes underfull hbox issue in license declaration.
Fixes display of open problem titles.