So Maguro crashed again today. We have time to move it to the new server now.
Since hayabusa5 will move to this server as well, I am thinking to name it
hayabusa6.
What do you think?