I have seen that this printer is supposed to work properly with Linux, using the HPLIP opensource driver.
I used to have the HPLIP-standalone package installed but with that package, the driver was not automatically selected by YaST and the printer is NOT shown in the printer list.
Therefore, I have uninstalled that package and installed the HPLIP “normal” one (which requires CUPS) since I realized that YaST uses CUPS to print anyways.
Nevertheless, my printer still does NOT show up in the list.
Therefore, I was wondering which printer I should select, knowing that none seem to use the HPLIP driver.