-- -- This is file `marginalia.lua', -- generated with the docstrip utility. -- -- The original source files were: -- -- marginalia.dtx (with options: `lua') -- -- This is a generated file. -- -- Copyright (C) 2025 Alan J. Cain -- -- This file may be distributed and/or modified under the -- conditions of the LaTeX Project Public License, either -- version 1.3c of this license or (at your option) any later -- version. The latest version of this license is in: -- -- http://www.latex-project.org/lppl.txt -- -- and version 1.3c or later is part of all distributions of -- LaTeX version 2008-05-04 or later. -- LUACODE