“does this printer auto duplex or do you have to single page manual feed to duplex?”