Looks like @grudn hasn't received any replies!