https://gamblisfx.com/how-to-know-which-debian-version-you-are-using/