Looks like @timd hasn't received any replies!