Thank you for your answer. Actually, I'm not a fan of Times New Roman
for rendering the Arabic script, but sometimes the default font is Times
New Roman on certain web pages. I'll test supplanting the current font
with a fresh one from Windows / MacOS and get back to you.
Either way, why isn't
Public bug reported:
Times New Roman does not render Arabic diacritics correctly when there
is a shadda followed by letter that has a diacritic. This is a bug both
when rendering the text in for example Firefox / Chrome and in
LibreOffice.
To test the bug, copy the following text into a text