In case you see the activity in the logs and are wondering, I should say that I have been working on a new entry higher geometric quantization (that used to redirect to n-plectic infinity-groupoid).
I have started adding some survey-tables. But not done yet with the entry as a whole.
]]>