Request #17169 has been rejected by diabonas [1]: I agree with coderobe's analysis (https://lists.archlinux.org/pipermail/aur- requests/2020-January/036098.html) that juliadoc-git and julia-docs- git appear to be separate projects with different purposes. I could not find an answer by the requester on the aur-requests mailing list, so I am rejecting this request.
[1] https://aur.archlinux.org/account/diabonas/
