Simplify command that extracts the number of pages from a PostScript file; use "grep -c" instead of "grep | wc -l | cut ... | tr ...".
Simplify command that extracts the number of pages from a PostScript
file; use "grep -c" instead of "grep | wc -l | cut ... | tr ...".

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator