Squashed commit of the following:

commit 779f64fd18d9d8ea09ac60f8fbbc9bb330a0bf33
Merge: 5e1b216 92a7d23
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Sep 22 20:34:09 2019 +0300

    Merge branch 'master' into feature/better-index

commit 5e1b2168b2778bf4a03f14455026500db1ce3eac
Merge: cccdba8 7feb08d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Sep 17 11:47:48 2019 +0300

    Merge branch 'master' into feature/better-index

commit cccdba8946c17d74ca920d1c0bf0394cccc91ab9
Merge: b36bc38 abc7fc6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Sep 1 21:32:13 2019 +0300

    Merge branch 'master' into feature/better-index

commit b36bc3839132d425b77bc0c29585fc399e722e4e
Merge: f9f5833 0d7384c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Sep 1 21:30:35 2019 +0300

    Merge branch 'master' into feature/better-index

commit f9f5833f8264e352ad5d0c11e9cdf6cc7cab957d
Merge: d5fdd72 c15d2db
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Aug 30 13:24:39 2019 +0300

    Merge branch 'master' into feature/better-index

commit d5fdd72cbdaeed4bb79ea2333afd892538ecac2a
Merge: 7d394b5 58982af
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Aug 23 13:25:16 2019 +0300

    Merge branch 'master' into feature/better-index

commit 7d394b58e0a7ab155d8127acf4433c427bb4ff63
Merge: b89bb5f 4ee83ad
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 21 20:31:38 2019 +0300

    Merge branch 'master' into feature/better-index

commit b89bb5f708c777216e0517f71f34fda6c8384fd7
Merge: de1841d 98e500f
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Aug 15 21:42:23 2019 +0300

    Merge branch 'master' into feature/better-index

commit de1841d26dc01ee7b98ebbb9fd1057bb622bea53
Merge: 23e365f 631c606
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Aug 11 15:12:44 2019 +0300

    Merge branch 'master' into feature/better-index

commit 23e365f89aa18d574fc1d59cfc49e2d614d07ad9
Merge: b881935 41248c3
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Aug 9 13:27:25 2019 +0300

    Merge branch 'master' into feature/better-index

commit b881935f23a5acaaa11a32bb9c825f0cbf773b87
Merge: 91bfdd2 c5d33ce
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 7 21:04:04 2019 +0300

    Merge branch 'master' into feature/better-index

commit 91bfdd29f34aae06ce697087a5aeb2b8bb166b57
Merge: 535d1f8 9e237cf
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 23 06:22:39 2019 +0300

    Merge branch 'master' into feature/better-index

commit 535d1f87b3548669d56e0afb3f66051c28f251a6
Merge: 6a84244 825817a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 16 20:36:05 2019 +0300

    Merge branch 'master' into feature/better-index

commit 6a84244105c8dbb6a4c3f9ecbe6f628f1f1f232f
Merge: 4f59334 2a44a09
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jul 12 13:31:48 2019 +0300

    Merge branch 'master' into feature/better-index

commit 4f593346798241eea8f1352b23c1548d5769dd6f
Merge: e1dde45 407990e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 9 22:08:27 2019 +0300

    Merge branch 'master' into feature/better-index

commit e1dde45faec0ad4749cc76d3021a56bb6d3916c1
Merge: 62c3f6a 43d8598
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jul 5 11:56:28 2019 +0300

    Merge branch 'master' into feature/better-index

commit 62c3f6ab5227e5a04054506e2a292f7e92d63ec1
Merge: b825a44 acc40a5
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 30 21:34:50 2019 +0300

    Merge branch 'master' into feature/better-index

commit b825a4464a2c9747f79362d538ea6befa1306626
Merge: 0ae4a8c ca067d6
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 28 12:01:47 2019 +0300

    Merge branch 'master' into feature/better-index

commit 0ae4a8c2e58c930b5fc16e2417fe2fcf2ebb1b4a
Merge: 753dd0b 5892bca
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 26 21:46:18 2019 +0300

    Merge branch 'master' into feature/better-index

commit 753dd0b0520b70f6743b851997a0b68503b34231
Merge: 6014175 b19cc51
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 21 11:54:46 2019 +0300

    Merge branch 'master' into feature/better-index

commit 6014175606d69108f3f2d0401e2876c5bf3314bd
Merge: 3c4486a d5a2524
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 19 22:36:37 2019 +0300

    Merge branch 'master' into feature/better-index

commit 3c4486a411e45c59f423f4a7da7bfdfa379b0466
Merge: 0c9eb36 395fc52
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jun 18 21:22:23 2019 +0300

    Merge branch 'master' into feature/better-index

commit 0c9eb36227325fd5ef8b43c3064f2b719d6d3e82
Merge: b09a43a b79186d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Jun 17 09:04:08 2019 +0300

    Merge branch 'master' into feature/better-index

commit b09a43ac692df955a88e55b62a53d7f9b25349be
Merge: fcd3a99 a13ec1e
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jun 11 22:21:42 2019 +0300

    Merge branch 'master' into feature/better-index

commit fcd3a998082c7f7eb0dacd2bdaeab95dfcf24f2c
Merge: d33d334 991f242
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jun 6 20:24:15 2019 +0300

    Merge branch 'master' into feature/better-index

commit d33d334b59ce150a3fea35f10852f3c68616e5cc
Merge: 6e73114 18e5593
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 5 21:41:24 2019 +0300

    Merge branch 'master' into feature/better-index

commit 6e73114fd948ed9764a8447866bc17d387b518b4
Merge: 6876fef 4b31ece
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jun 2 21:56:35 2019 +0300

    Merge branch 'master' into feature/better-index

commit 6876fefcfacd45f85260b424f91ff4a02a5ae39b
Merge: c73d9f3 c8c9c01
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun May 26 21:30:41 2019 +0300

    Merge branch 'master' into feature/better-index

commit c73d9f3a015ebd61034c9630b1dae52cd18fef54
Merge: 39f9e68 9a4ad64
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed May 22 21:00:29 2019 +0300

    Merge branch 'master' into feature/better-index

commit 39f9e68cb1e87f239a2b3e8976db80c4156edf01
Merge: 76c49b5 d53cdeb
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon May 13 22:07:47 2019 +0300

    Merge branch 'master' into feature/better-index

commit 76c49b52d34e0bed9057edcf5c42870be8ab47fe
Merge: 5ff098c 3cc2114
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri May 10 11:30:01 2019 +0300

    Merge branch 'master' into feature/better-index

commit 5ff098c727f52ad5e00ca5f8c740d77778a96265
Merge: 38f75a2 3c565ae
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue May 7 07:09:14 2019 +0300

    Merge branch 'master' into feature/better-index

commit 38f75a2f87e1880303e4849c89a66a654f26c56e
Merge: 18e40b2 8bd3278
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon May 6 21:29:39 2019 +0300

    Merge branch 'master' into feature/better-index

commit 18e40b2bb4d640e149b2e15a98be5a622f8bf6a2
Merge: 1a4ad4a 5fcb16c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun May 5 20:34:57 2019 +0300

    Merge branch 'master' into feature/better-index

commit 1a4ad4a8c0e417a4badf0eaf1fa342e7b4bc43b7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Apr 30 21:36:20 2019 +0300

    Finish off index improvements (we hope).

commit abcf377ae763aa4eb1d01ea46d60234d12ced679
Merge: 473d5d5 ee101d0
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 28 20:53:58 2019 +0300

    Merge branch 'master' into feature/better-index

commit 473d5d54f209e5a436a97b7f97b8f7c48048edc9
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 28 19:48:10 2019 +0300

    More indexing updates.

commit 34f5c17223396cae9585826bdd8d8ed9cc70198f
Merge: 5484684 7c22237
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 28 19:45:38 2019 +0300

    Merge branch 'master' into feature/better-index

commit 54846844084efcbcee650187c274ba2cae0b94d0
Merge: dfdf503 4edf1cc
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Apr 24 20:28:17 2019 +0300

    Merge branch 'master' into feature/better-index

commit dfdf5031cea43a1d35b6cd513fa3c2692ef89a1c
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Apr 24 20:25:30 2019 +0300

    More indexing.

commit 3887537ae8fbe3e46782de5ebd350a508be202c9
Merge: c0d4861 b5cb0d8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Apr 23 11:05:15 2019 +0300

    Merge branch 'master' into feature/better-index

commit c0d4861e21c806b8ad61e6e3a6cdf95e4335895e
Merge: 5fb0824 d3b5c77
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 21 18:03:34 2019 +0300

    Merge branch 'master' into feature/better-index

commit 5fb082420462c7b6037d08e39944f932065816f8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 21 13:47:24 2019 +0300

    More indexing.

commit 874ac661e36b277ed145f8a29a419af6d5b728ff
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Apr 15 20:55:19 2019 +0300

    More indexing fixes.

commit 8ded83c76cba4b10377d0f2a70b24d21f18097fd
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 14 19:16:58 2019 +0300

    More indexing fixes.

commit c0668e4b76ea872479dd8506037b08054555e97f
Merge: 6a9db98 c67cff4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 14 19:14:47 2019 +0300

    Merge branch 'master' into feature/better-index

commit 6a9db98e9b184f38f93ea56f0bcfa7f7177b6ff6
Merge: 8255dbf b4e4ba4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Apr 12 12:42:53 2019 +0300

    Merge branch 'master' into feature/better-index

commit 8255dbfa053e78c7c05d541a842c82fb552505d5
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Apr 11 21:54:56 2019 +0300

    More indexing fixes.

commit 5a52833a68f511e77ee5120d7142124c53740b68
Merge: 37d907a 8339e74
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Apr 10 22:06:58 2019 +0300

    Merge branch 'master' into feature/better-index

commit 37d907a755994e20ca891731a13179f76eac8332
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Apr 8 21:42:47 2019 +0300

    Next indexing fix.

commit 2cdadd3091075ffcdf4c8e3c4395b8059fc76033
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 7 22:01:12 2019 +0300

    More indexing updates.

commit 2eea174133723a30a3b347bdbc93d05ac3203623
Merge: 01af55a 1707928
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Apr 7 21:58:59 2019 +0300

    Merge branch 'master' into feature/better-index

commit 01af55a27d0bafc4d9072ffb7b038bf8c82fe985
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Apr 5 10:22:50 2019 +0300

    Fix sidebar.awk to use @subentry.

commit cab07e64da25528b986b28ab0d7f0e307da93759
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Apr 1 22:41:37 2019 +0300

    Lots of indexing improvements.

commit 332f75e995bb537642759cd301b064b3e1ed6e65
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Mar 29 14:59:20 2019 +0300

    Start on index rework.

commit 6167e5e065ecf16a8f9567046d563a89ecbf996c
Merge: 6c6f6eb 8952c58
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Mar 29 14:45:05 2019 +0300

    Merge branch 'master' into feature/better-index

commit 6c6f6eb628de5deef8bd382b26270cf91fe82adb
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Mar 9 20:47:12 2019 +0200

    Doc improvements w.r.t. interval expressions.

commit d00a702b26ce45b3723d54f105b21181d64158ac
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Mar 8 12:13:21 2019 +0200

    Add generated files.

commit 83a5b6f87902d0a3e4cd709eabd6d88ddf471829
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Mar 8 11:50:07 2019 +0200

    First pass at indexing improvements.