So, it looks like you already did it correctly. The "reto_public.asc" is what you should be verifying because the "Reto network" is that teams unique instance of Haveno. Woodser helps them out sometimes but isn't directly involved afaik. I think his keys were just carried over from Haveno when Reto forked it.

You can double check with Reto on their SimpleX group chat (link is on the reto website in downloads section), or ask Woodser/Haveno peeps on Matrix: 
https://github.com/haveno-dex/haveno?tab=readme-ov-file#keep-in-touch-and-help-out