#174: Using a mixer to listen to HF, shortwave, ham, etc. on RTL-SDR dongle