I'm making a wiki with some of them but that's the only one I have on hand, aside from the SO post.
Indeed, according to the stats it has been edited 71 times by 31 users, the biggest contribution from a single user is just 31% of the total. Seems pretty wiki to me.
Look at that! Learned something new today!