Stripe is not. In fact, it's not being used anywhere that references the credit amount (https://www.google.com/search?q=site%3Astripe.com+"%245%2C00...):

• https://stripe.com/docs/atlas/details

• https://stripe.com/docs/atlas/next

• https://stripe.com/atlas

I've archived the pages for the record:

• /details: http://archive.vn/xRojd and https://web.archive.org/web/20200707231048/https://stripe.co...

• /next: http://archive.vn/5eyFp and https://web.archive.org/web/20200605003821/https://stripe.co...

• /atlas: http://archive.vn/5m2s2 and https://web.archive.org/web/20200707231646/https://stripe.co...

Anyone who received less than the advertised credits prior to the archive date may be owed the difference.