Looks like @gisles hasn't received any replies!