"I will likely try to figure out which file contains the unbacked-up settings and manually back them up to the SD card (since BackupBuddy's full restore is time-consuming)."

Good idea -- anyone know what these file names are? can i use the file manager?