I need to change the main ID and home server of my personal Matrix chat account: I am moving from @schmittlauch:ohai.su to @schmittlauch:ohai.is. The reason for this is two-fold:

The immediate urgency comes from the former server having hardware issues. After being completely down for a …