Maybe mention Redis here too, since we use it in our PaaS example.