Sync; layout improvements in Hilbert mixer; table view interface fixes in choices