I wonder if they count companies using Heroku as "implementation and integration of Amazon Web Services"