<p><span class="h-card"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> Fun synchronicity: my high school English class had just finished reading HofD when that movie came out: the teacher took us all to see the local premier (paying for the tix out-of-pocket, I think).</p>