We have been running Internet without requiring user accounts. Search was possible. Has something changed? Has github been having real problems with bots? No?