HEAD is now at 944872b Updated virtual machine link (now resides on gigabit server).
944872bc11741192861bc0c4cdbbd9b225dee53e