Looks like @bigr hasn't received any replies!