you have to log out then back in. It's better in a live session to put it in "/user/shared/themes" from what I recall.
I don't ever remember it being included in any Mint releases. I'd have noticed, as it's one of my all-time fav's and I have to manually add it myself.