lecture notes on stacks 4019882