Is the "undir_note" (the limitation on head/tail assignments in undirected graphs) still accurate/

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)