[Python-ideas] Notation for subscripts: refreshed proposal summary