I'm considering switching my personal servers (on Digital Ocean) from Ubuntu to Debian. I essentially just need something running Docker for most of my projects. Debian seems to require upgrading less often. Any opinions?