Include max-backjumps and reorder-goals in quickstart
Comment on max-backjumps and reorder-goals