Ok it has been accidentally deleted 19 days ago.
@Jkyle, it appears (if I'm not mistaken) it was deleted after your commit
here, please confirm there is no reason (read explanation below) ?
@Atlantis, it appears JKyle was cleaning up the page, at the exact same time you were editing. When someone edits a Wiki page, and stays long in edit mode, the page does not get refreshed, so they have no idea someone else has made a new addition.
I think that's what happened 19 days ago. A sync problem: 2 people editing at the same time...
Will be included in next release.