I think you can get arbitrarily close to his results, however, if you just export at a higher resolution and then downsample the bitmap afterwards using linear

I think you can get arbitrarily close to his results, however, if you just export at a higher resolution and then downsample the bitmap afterwards using linear interpolation in GIMP/Photoshop. But if you need high performance, an approach like this seems like a good idea.