http://stackoverflow.com/questions/38484433/in-corona-sdk-ho...
You are very likely right. Though it looks like they permanently deleted those characters because they don't show up on the edit history.
Mere coincidence?
http://stackoverflow.com/questions/38484433/in-corona-sdk-ho...