Clean up cruft, Debian now has 5.x version

source/Proxmox.tex

@@ -16,12 +16,6 @@
 Proxmox is a virtual machine manager. 
 
 The private cloud deployment will be based on Proxmox version 5.x.
-%There are only Debian 8 (Jessie, oldstable) releases.
-%Debian hasn't packaged Proxmox since wheezy. It has it in sid, but even
-%that is an old version. The only packages available for Debian are the
-%upstream ones for Jessie made by Proxmox.
-UPDATE: although Proxmox isn't listed on Debian 9 (Stretch) packages,
-there is an installation manual for 5.x version, which is great.
 
 Documentation:
 \url{https://pve.proxmox.com/wiki/Documentation}
@@ -34,25 +28,18 @@ Documentation:
 
 \begin{itemize}
  \item Website: \\ \url{https://proxmox.com/}
- \item Debian Stretch ISO: \\
+ \item Debian Stretch ISO (XXX check version): \\
    \url{http://download.proxmox.com/iso/proxmox-ve_5.1-3.iso}
 
-includes the following:
-
-$\cdot$ Complete operating system (Debian Linux, 64-bit)
-
-$\cdot$ The Proxmox VE installer, which partitions the hard
+ \item Complete operating system (Debian Linux, 64-bit)
+ \item The Proxmox VE installer, which partitions the hard
 drive(s) with ext4, ext3, xfs or ZFS and installs the
 operating system.
-
-$\cdot$ Proxmox VE kernel (Linux) with LXC and KVM support
+ \item Proxmox VE kernel (Linux) with LXC and KVM support
 Proxmox VE Administration Guide 9/309
-
-$\cdot$ Complete toolset for administering virtual machines,
+ \item Complete toolset for administering virtual machines,
 containers and all necessary resources
-
-$\cdot$ Web based management interface for using the toolset
-
+ \item Web based management interface for using the toolset
  \item Debian Stretch admin guide: \\
    \url{https://pve.proxmox.com/pve-docs/pve-admin-guide.pdf}
 \end{itemize}