And the coinexchange TIPS wallet is in maintenance since >10days (though they promised to open it for deposit in time for the swap, time gets tight).
Also we still have no clear answer as to what will happen to the swapped TIPS which seems to accumulate in one or more adresses.