Could you please stop nitpicking? The current release is almost four years old and horrendously out of date. There have been nearly 2,000 commits since then...
If the difference between a dev build and release were a mere nit, you've got to wonder why the dev build hasn't made it to release.
And seems to be making no progress towards one. Despite the 2,000 commits and four years you mention.
There's literally no reason to keep using 3.13.c
Evidently you have no reason to use the latest release. Users who prefer "a stable release port that runs well ... has a complete manual and is supported by the installer" may do.