Do not sync Dash Docsets anymore. Fix #196