Notes on the minicourse “Entropy of chaotic eigenstates”