Looks like @tanuki hasn't received any replies!