It’s not that difficult to build your own kernel based on the official debian one: https://kernel-team.pages.debian.net/kernel-handbook/ch-common-tasks.html#s-common-official

They are still developing and selling Sailfish OS. They just stopped making their own hardware.

Berlin, Germany: we drink water straight from the tap. It’s free and delicious. If you don’t feel like drinking tap, just drink a “Berliner Rohrperle”. It’s the same thing with a fancier name, because our tap water is awesome.

Nowadays we even have public drinking fountains dotted around the city.