They almost certainly didn't use that.

The projects were named after a Google Doc they'd recently worked on (or a .docx attachment they'd received?) though, so my other guess is that they somehow created a Google Docs macro or similar by accident?

probably Google Doc Apps Script, those create so many Google cloud projects