For normal files there is aiofiles, but currently there doesn\'t seem to be an equivalent for gzip. So is it proper to just use normal gzip in an async
aiofiles
gzip