Tue, 07 Jan 2025 22:07:46 +0100 wenzelm discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880);
Tue, 07 Jan 2025 21:39:38 +0100 wenzelm more markup, notaly for LaTeX output: treat record fields as quasi-consts;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 tip