Comments are optional

This page uses Disqus for comments, which may set cookies and load third‑party resources. To protect your privacy, we only load it after you enable comments.

You can change this anytime via “Cookie settings” in the footer.

Tip: for best experience, use a desktop or an external keyboard.