Doc update: removing manual (maintaining two copies is error prone).