Updates to introductory text

- Explain winfo and other selectors
- Explain ||
- Use variables instead of stack shuffling (but neglect to explain
  them properly for the time being).
- Drop all the text on stack shuffling and path exploration that's not
  relevant anymore.