> If you use Overleaf, you won’t even have to worry about putting them together, people can just work simultaneously in the document.
if we really want to be up to date, we should probably go beyond overleaf and use one of the LLama 2 APIs to generate latex. (a long long time ago someone tried to use overleaf on top of gpt3.5 and it was a little messy)
BUT the fact that we all want to read *Lawvere's* lectures seems to be saying that some things in the past used to be more fun than some things in the future.
so my vote would be to ask mike to organize the typesetting whichever way he is used to doing it, having organized it so many times :)
-- dusko