5.19.0 is now latest dev

...well, it will be on Tuesday.  I'm pre-filing this pull request while I have some down time!