re: #115 Sharmuta

“stretch” is pushing -1000.

Is he still unbanned so we can make that total dive below -1000?