> Why do we need @dotless? what happens if we don't use it?  The result
> in Info is correct without it.

Quick test shows that "Bah@'a'@'i" gives correct result in plain text
and HTML, but in PDF I get accent above "i" (complete "i", not
dotless) - see picture.


S. U.