Damn, got me. Debian user, been using a basic Cuisinart bean to cup for years.
The heating element broke in my original machine earlier this year. Bought a used one of the exact same model with a broken water reservoir cover and carafe lid then transplanted those parts from my old machine.
Plan to use Debian unless it stops being developed or I die. Plan to use my Thinkpad until it dies. Also plan to use that same model of bean to cup machine unless I can’t find replacements when they inevitably die.