Я нашел, почему это не сработало. Я настроил ноутбук для использования учетной записи Microsoft. Это, очевидно, означает, что обычная сеть не работает, как ожидалось.
Я удалил учетную запись, связанную с Microsoft, и создал простую локальную учетную запись. После этого все заработало как задумано.