On 14 July 2014 18:19, Greg Troxel <gdt%ir.bbn.com@localhost> wrote: > binary installation sets are easy to download or pretty easy build > yourself. True, in retrospect I could hard (soft ?) link to the installation media. -- Ottavio