The nForum has moved to Zulip: second-countable spaces are Lindelöf.