These updates bring a lot more consistency with our choice of Debian as well as some general cleanup of things that have been outstanding for a little while now. We hope you enjoy!
Full details of the changes are in the following 2 commits to our documentation code