A pressing and depressing mouse pointer

As I was browsing Tonsky’s blog for yesterday’s post, I noticed the pretty mouse pointers. Are those new? Better yet: When you click, they change their shapes! That’s something I’ve only seen in games so far. How fun!