How to Overclock your Raspberry Pi 14 years ago
Some of his articles about the RPI have been pretty basic, but this one is actually pretty good, because it shows several methods. Just editing the config and rebooting didn't work for me the first time.