1.1 --- a/TODO.md	Wed May 26 14:10:17 2021 +0200
     1.2 +++ b/TODO.md	Wed May 26 16:19:41 2021 +0200
     1.3 @@ -26,6 +26,9 @@
     1.4  old ASCII notation (e.g. "EX" vs. "\<exists>"), with the help of PIDE markup;
     1.5  
     1.6  
     1.7 +* Is it possible to eliminate union_overwrite, in favour of more standard data
     1.8 +  add/merge discipline?
     1.9 +
    1.10  * What is the purpose of "#numeral" instead of plain numeral?
    1.11  
    1.12  * Check/clarify Context.theory_name vs. Context.theory_long_name.