Ellipsis (dot dot dot) at the end of a title is removed

[patrickemin]

@JammyDodger

title prettify

Sure the ellipsis is not a typing mistake and is an integral part of a langage. I wish the setting “title prettify” would not correct that, because it’s not a mistake…