Nickname info is correct.
Thus, it's St. Paddy's Day to the Irish and not St. Patty's Day.
You might want to search the double-dd's pronunciation...