some Hecke category notes