[Bug 400593] Add Mono:Community to 11.0 "extra repos" list