It is assumed that is constant, i.e. it does not depend on . See (3) at the beginning of the notes.
Now, (3) follows immediately if is bivariate normal i.e. you can prove (3). If, on the other hand, we aren't assuming a bivariate normal, then the proof is fine and (3) is the key assumption that lets you pull it out of the integral.