I want to remotely control my vintage receiver

https://www.raspberry-pi-geek.com/Archive/2014/03/Controlling-your-Pi-with-an-infrared-remote/(offset)/2

 https://www.audiokarma.org/forums/index.php?threads/this-weekends-project-remote-motorized-volume-control.200986/