We will merge servers at some point. But there is no specific date or plan to do it now. If we will notice more servers are experiencing similar problem, we will talk about it with admins.