-$C \haspatch \pq$ or $\nothaspatch \pq$ is represented as a
-list of $\pq$ for which it is known that $C \haspatch \pq$;
-for any $\pq$ not listed, $C \nothaspatch \pq$.
-Whether to record $C \haspatch \pq$ in a new commit
+$C \haspatch \p$ or $\nothaspatch \p$ is represented as a
+list of $\p$ for which $C \haspatch \p$;
+for any $\p$ not listed, $C \nothaspatch \p$.
+Whether to record $C \haspatch \p$ in a new commit