Indeed. Here is my minimal test:
graph {
edge [len=3.5 minlen=3]
A -- B
B -- A [taillabel = "tail"]
}
And the results for multiple engines:
If you think it is a documentation bug: Issues · graphviz / graphviz.gitlab.io · GitLab
If you think it is a s/w bug: Issues · graphviz / graphviz · GitLab
(I like spam on pizza, but that is a personal thing)