#       2019-08-05 Ubuntu 19.04 --active-tab breaks monitors notebook.
#       2019-11-04 Make icon name searchable in Sort Icons scroll box.
#       2020-06-02 Clean up some comments.