redis-doc. Redis documentation source code for markdown and metadata files, conversion scripts, and so forth