Has Theymos (the person who runs this forum) ever revealed any personal info about himself? Do we know his name, where he lives, etc? Is the real person behind the Theymos handle an active member of the community apart from on this forum and on reddit?