OK! thanks everyone for the recommendations, this is all useful to
smooth the edges for next release.
we will include both the mini.iso and the PXE setup in the next
Devuan release folder. Meanwhile, these are all found here
https://auto.mirrors.devuan.org/devuan/dists/jessie/main/installer-amd64/current/images/netboot/
ciao