Hi @IsobelLynx I think I have fixed the issue with Google Docs! HOWEVER any changes to the extension has to go through Google's standard review process of extensions, so it might take awhile before the fix actually goes live... I'll keep you posted
I thinkkkk this should fix @elisabeth_ist's issue as well, but will have to wait and see (or if someone can provide me some sample text where the spacing got messed up)
One side note is that technically this fix isn't specific to Google Docs, it's specific to a type of formatting. So it should also fix it for any other word editors that format in a similar way to Google Docs~