Oh hey, while looking at something else, someone mentioned editing a file but didn't say exactly what

viewtopic.php?f=6&t=3439&p=16356