[sr-dev] git:sr_3.0: Remove obsolete gen_ha1.