I've been looking for a cheap b/w laser for my parents and have found HP LaserJet 135/135w. It looked very familiar, and behold, it is a rebranded Samsung SL-M2070w that I have in the office.
Hardware-wise, it is actually a nice printer. Software-wise... It works in Linux, but you have to install the binary-only uld driver. For MacOS it is more interesting: printing is not a problem, scanning in B/w is also OK, but scanning in Image Capture/Preview in color into PDF produces garbage output. What works is scanning in color into TIFF, then stitching and reexporting into PDF manually. The alternative, the EasyScan Samsung software no longer works in Catalina, it has 32-bit components.
Edit: from the ppds in the driver package, they are:
* HP Laser 10x Series
* HP Laser MFP 13x Series
* HP Color Laser 15x Series
* HP Color MFP 17x Series