Formatting tweaks, add Debian info