doc: hwaf-bin comes from cern.ch/hwaf