Merge branch '1207-mirtarbase-is-down' into 'devel_14.0.x'

miRTarBase is down

See merge request !1093
32 jobs for devel_14.0.x in 1 minute and 2 seconds (queued for 2 seconds)