GIF instead of video

[laresbernardo]

I loved how you structured the whole shiny code. If you don't mind, I also loved the video you posted in the background and created a gif out of it. I'll share it to you because I think it would me much more useful for people running the shiny app locally with no internet connection, although the file might be a little big. I guess it would load faster and smoother though. Cheers!
https://media.giphy.com/media/WrydPBGGlwHcFz1DwQ/giphy.gif

[SebGGruber]

I initially wanted to use a gif, but it somehow was lost during the uploading step to the shinyapps server (maybe they have media file restrictions?).
I will try out your gif once I have time, but it's probably unlikely that something has changed.

[SebGGruber]

Because I don't have any time in the near future and if someone ever wants to use a gif, simply head out to the file mlrPlayground/inst/mlrPlayground/ui.R at line 87 and replace HTML('<iframe src="https://www.youtube.com/embed/2WsoYgF0FgM?playlist=2WsoYgF0FgM&loop=1&autoplay=1&mute=1&enablejsapi=1"></iframe>') with an according function and an desired gif.