Added a supplement to last night's talk about F-algebras.