Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Wow, thanks. This is probably everything I needed. Though I can't find where in the lecture notes that I am reading it is required that $\mathcal{X}$ should be proper over $\mathcal{O}_K$, but maybe I just missed that.