A wiki for Mizar: Motivation, considerations, and initial prototype