What is happening with the devtest01 server?

So, devtest01 and devtest02 aren’t really devtest servers, they are int and qa servers for the reference application, and it’s not really correct to think of me as their owner.

@michael, How do we move forward with actioning this thread? Can the infrastructure team lead this? (I don’t see how anyone else could.)