+20201205
+ + amend build-fixes for gnat 10 to work with certain systems lacking
+ gprbuild (cf: 20200627).
+ + eliminate an additional strlen and wsclen.
+ + eliminate an unnecessary strlen in waddnstr() (suggested by Benjamin
+ Abendroth).
+ + modify inopts manpage, separating the items for nodelay and notimeout
+ (patch by Benno Schulenberg).
+ + correct mlterm3 kf1-kf4 (Debian #975322) -TD
+ + add flash to mlterm3 -TD
+