[Bug 13226] Rename "Interfaces" index section to more precise "Element interfaces"

https://www.w3.org/Bugs/Public/show_bug.cgi?id=13226

--- Comment #18 from Sam Ruby <rubys@intertwingly.net> 2012-10-05 18:17:41 UTC ---
Created attachment 1201
  --> https://www.w3.org/Bugs/Public/attachment.cgi?id=1201
Python port of Cameron's script

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 5 October 2012 18:17:43 UTC