core tetra: Fix TODOs in ToSalt conversion