Oh my gosh.  Losing formatting would indeed be not severe.  Distorting contents 
is IS severe, especially if this goes unnoticed.  Heaven knows how much text 
has already been and will be silently changed in all the years of Debian 12.  
Therefore, a kind request: please push it into the next update of Debian (12.1) 
or at least one of the next updates.
Gratefully, Peter

Reply via email to