HP’s website wouldn’t let me download a driver, but insisted on using their app to detect the printer model (which I already know) and then try to open the corresponding download page for that model (which I already vsited).
Off course the app open the wrong URL and lead to a 404 error. I had to download drivers from another source.