Neither of those make sense in this context.

That’s how I started using “lol.” If I wanted to be formal - but honestly on the internet it’s really not necessary.