On Sun, Feb 17, 2019 at 05:36:08PM -0800, Martin Davis wrote: > Thanks for the vote of confidence about becoming a committer, Regina. That > will make it easier to make incremental doc changes for sure. You have my +1 but please Regina follow the formal path and call for a vote :) --strk;