Escape HTML entities in code blocks
Shutdown agents in -main

That way futures can be used in :annotate
Add lecture 07
Add a better README
Update the project file
Add a few new things to lecture 07