The ADCToolbox manual now lives at
https://adctoolbox.tokenzhang.com/doc/
.