picodoc moved to its own dedicated github repo: https://github.com/tj64/picodoc