That's a good question. I've thought about it, and decided that with real pins it wouldn't be worth the extra work, because you might want to unpin it later and you'd have just made it more...