I guess I'll just hold off then until I decide to do a big wipe and reinstall. If I switch ROMs I do the whole deal from scratch, so that would be a good time to add that step in.
OK - according to this post: https://forum.xda-developers.com/showpost.php?p=70488991&postcount=3308
I made an update file to be flashed in ODIN - I did NOT try it yet, anybody wanna be a guinea pig?
It's 65Meg and does not have system or recovery or bootloader files - just the files in that post without aboot.mbn
Ill have to upload it later as Im not on wifi atm...
edit here it is: https://drive.google.com/open?id=0BxC-vFUzhPIuWFFhVGZXOFhib1k
I did NOT try it - I just followed the instructions above. I'll burn it when I get some time - tonights one of my sons birthday