More debs are available for the 32bit version so I am curious if a downgrade is possible without wiping the drive and starting over.
or