The Rockbox manual mentions this editable file, but there's no trace of it on my install. All I have is tagnavi.config which is unusable, but I would simply like to edit the existing default file and add my own modifications that way. Is there a way to copy tagnavi.config to tagnavi_custom.config for modification, or do I have to create a new file entirely from scratch?