Improving PrimePrinter.main() and docs