Fix bad HTML in release notes for K-1.
Updates to the efsetLib's documentation from Lockwood Morris.
Make the Description manual correctly depend on the enumfset.tex file
Minor typo correction in the enumfset chapter.