Merge "Drop "docs" tox target and the docs integration"