On 10/11/2016 5:07 a.m., Jean-Marc Lasgouttes wrote:
For example, nobody remembers why we have the \show_banner option or \screen_font_sizes options. Or the three different interfaces for editing math macros. But it is just bikesheding IMO.
I had never come across this use of bikeshedding before. I looked it up on Wiktionary. Thanks!JMarc
Andrew --- This email has been checked for viruses by Avast antivirus software. https://www.avast.com/antivirus
