@yuhunglin Thought it might be useful in the source but you're right, we can probably remove it.