@JohnPhilpin @manton Oh, yes, using …

@JohnPhilpin @manton Oh, yes, using HTML in replies is quite an adventure. 😊 There’s maybe definitly inconsistencies there.

Sometimes it helps to update the reply (it did, for this one).