re: #416 reine.de.tout

Toots? Prayers to the folks out there on those platforms.

It’s easy to forget how dangerous those jobs can be.