[WikimediaMobile] Thoughts on using different wikifont icon for TOC (Wikipedia App)