j
k
j a
j l
A bug to remove the fancy index was filed independently today: https://bugzilla.wikimedia.org/show_bug.cgi?id=65159. I think it's about time to close this discussion properly :) I submitted a patch.
Back to the thread
Back to the list