Looks like @lanpan hasn't received any replies!