[...]
As far as I can see, there are no blockers left for making the branch.
If nobody protests, I'll make the branch later today.
And now the branch and Pike 8.0.1 exist:
| Pike v8.0 release 1 running Hilfe v3.5 (Incremental Pike Frontend) | >
pike-devel@lists.lysator.liu.se