can someone recommend an office printer for infrequent use that runs on linux and doesn't require proprietary drivers?