Virtual Desktop system was intermittent, should now be resolved

There was an issue with the Virtual Desktop system this morning, which we have now resolved. Some connection attempts prior to 11:30 will have failed, but ought to working correctly now.