GitHub repository: ESA-linux/Dash-User-Contributions
Description: Dash repo of user contributed docsets