Documenting old but useful command "Print Tables".
Made a synonymous of it ("Print Options").
Also reorganized a bit the section about flags and options in reference manual.