Using the Si5351 and the Arduino replaces the original local oscillator and there have been other improvements, as well. You can see a video about the receiver below.

You can see the results of his work in a video after the break. [Tom] used a Teensy 3.1 Arduino compatible board, to control the Si5351 mounted on an Adafruit breakout board.