Server should be switched to debian
Now to presentation on installing Arch Linux! (Note from 2022: This presentation is lost)
