chore(01_Dependent_Type_Theory.org): add missing '-- BEGIN'
chore(03_Quantifiers_and_Equality.org): fix trailing whitespace
feat: attach full-code to HTML and access it via JS