On 18/01/2024 20:05, Ihor Radchenko wrote:
With the patch, I am getting the following:[...]
\begin{center}
\begin{tabular}{lr}
{[}foo] & 2\\[0pt]
{[}bar] & 3\\[0pt]
\end{tabular}
\end{center}
It means that [0pt] is not necessary any more. However users will have adjust their filters once more. I have no idea if many of them will complain concerning {[} where it is not really required. (/[omitted]/).
To have an additional excuse, it is better to add a note that it is inspired by pandoc strategy.
