Looks like @sungtaek hasn't received any replies!