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