Qi's user docs are hosted on the Racket Package Server where they are publicly available and searchable, and that is a fine arrangement.
Qi's wiki is the one-stop shop for developer documentation and community events. But it has several issues today:
It isn't searchable (this is especially needed for searching meeting notes for items that were known to be discussed).
It's not indexed by search engines (due to robots.txt), except in some sneaky way by Bing (see Bing vs Google)!
Using GitHub for source code hosting, collaboration (Git and pull requests), CI (GitHub Actions), Issue tracking (GitHub Issues), backup user documentation (GitHub Pages), and the Wiki (Github Wiki) seems like a rather heavy investment in one provider! It would be more healthy to diversify this.
MarkDown is not nearly expressive enough for a Wiki (e.g. no table of contents! Hyperlinks are all raw URLs!). It would be better to use reStructuredText, Scribble, or something else.
Qi's user docs are hosted on the Racket Package Server where they are publicly available and searchable, and that is a fine arrangement.
Qi's wiki is the one-stop shop for developer documentation and community events. But it has several issues today:
robots.txt
), except in some sneaky way by Bing (see Bing vs Google)!Any ideas?