I wrote that on my phone’s touch keyboard, and I didn’t want to use \. to escape the dot character to avoid autohotlinking.