There is a discussion in a FESCo ticket whether we should update to Mono 5 in
Fedora 30. This is absurdly late considering out change process, but the
argument is that it cannot be any worse than it currently is.
Please participate in the discussion in the ticket if you have relevant
arguments for either doing this or not.