Looks like @mmio hasn't received any replies!