Finished solving_problems page, updated toc and fixed command.js menu commands with inconsistent labels.