Hello, everyone! I am happy to see that the site is back up, but concerned about all of the posts made after December 15th, which seem to have been deleted. I have described the problem on the Reporting a Bug thread, and will post here again as soon ...