Start mirroring from GitHub Wiki to https://github.com/wikinder/wikinder for DeepWiki; copy old repo to https://github.com/wikinder/assets