There will be a scheduled server restart at 4:30 PM on May 7. This may briefly interrupt some website services, but will only last a few minutes.