[kristofferR]

BTW, a pro-tip, ChatGPT is quite good at abbreviations:

https://imgur.com/a/SB42IVR

I use it for abbreviations all the time.