Operating Systems Wiki/Extensions