Workato Example Formula for Text Lead-in with Timestamp Conversion from Milliseconds

I was searching google for a "workato example formula with text lead in and timestamp converted from milliseconds". an old, but deprecated post showed up (see image). i.e. update a log to "First seen at <timestamp.shortDateTime>\n last seen at <timestamp 2>" but the timestamp is coming in milliseconds. My question appears to have been answered in the old community. Have the posts been reloaded here? or can someone help answer the question directly?