Thread:Badpeteno/@comment-9497553-20130828111725/@comment-9946604-20130829190717

Jens chose to step down. He still occasionally edits and comments. He may come back someday, we aren't sure.