Sometimes when provisioning, apt fails to retrieve packages due to network issues. This seems to have happened in #1991 but if there had been a backup to fall back to this might have been avoided.

For MariaDB at least we can add mirrors, and there are quite a few to choose from listed here:

https://downloads.mariadb.org/mariadb/repositories/#mirror=digitalocean-ams

We might be able to m

Of the learning environments that leverage Ansible, very few are using roles. This can make porting Ansible playbooks across learning environments more difficult. To fix this, Ansible-using learning environments need to be refactored (where possible) to use an Ansible role.

Some old programs versions can be found here if someone needs them to test old exploits for instance.

Currently we only search the message field. We should be able to filter based on service or on type as well.