What is stlmapfrog?

Just Googlewhacked Google with this one - it couldn't find it! What is stlmapfrog in Windows 10? Only recently noticed it, not sure if it's something I should keep or delete. (Google it, you ge...