Fedora 31 Self-Contained Change proposal: Mono 5.20