% The optional argument here gets stuffed into the \thiscase macro, to
% be called by pcases when it creates this list item. The \hfill is a
% The optional argument here gets stuffed into the \thiscase macro, to
% be called by pcases when it creates this list item. The \hfill is a