Behavior of \kern in conversion from LaTeX

[jgm]

Discussed in #9899

^{Originally posted by Iacobus1983 June 21, 2024}
If I convert Hello\kern1pt world to html, I obtain Hello word. But if I convert Hello\kern.1pt world, which is also legal, I get Hello.1pt world.

Of course, the same result in LaTeX can be obtained with Hello\kern0.1pt world, which converts perfectly to Hello world.

Anyway, I report this behavior in case it's an oversight.