I opened PR #42 to send a group of several small improvements that I didn't think warranted several separate pull requests. Each commit is intended to be a documented and independent change that may be worth merging, and that you can git cherry-pick at will to pick a subset of.
It also contains a bugfix (last commit, cherry-pickable) that should fix the parsing of full qualid querying, which is preventing some commits from building. The PR documents the bug and fix.
I opened PR #42 to send a group of several small improvements that I didn't think warranted several separate pull requests. Each commit is intended to be a documented and independent change that may be worth merging, and that you can
git cherry-pickat will to pick a subset of.It also contains a bugfix (last commit, cherry-pickable) that should fix the parsing of full qualid querying, which is preventing some commits from building. The PR documents the bug and fix.