No, we did not. As you see a lot of times "beating a Hall of Famer" doesn't mean that much. For example when Hopkins beat Roy Jones in the rematch, Jones was considered to be past prime as a boxer.
Same when Roy himself beat Trinidad: both were considered well past it but Tito was so much out of his weight class AND past his prime that it shouldn't count either as "beating a Hall of Famer".
Or SRR beat Henry Armstrong when Armstrong was past his prime AND way out of his natural weight class.
Or Roy Jones beat Mike McCallum when McCallum was past his prime.
Same when Roy himself beat Trinidad: both were considered well past it but Tito was so much out of his weight class AND past his prime that it shouldn't count either as "beating a Hall of Famer".
Or SRR beat Henry Armstrong when Armstrong was past his prime AND way out of his natural weight class.
Or Roy Jones beat Mike McCallum when McCallum was past his prime.
Comment