Chapter 9 update: rework default sign_in user as symbol

How's this look to you?