Assorted documentation fixes

M2/Macaulay2/m2/help.m2

@@ -215,12 +215,13 @@ documentationValue(Nothing, Sequence) := (S, s) -> (
 -- TODO: simplify this process
 -- e.g. Macaulay2Doc :: Macaulay2Doc
 documentationValue(Symbol, Package)         := (S, pkg) -> if pkg =!= Core then (
+    isM2Doc := pkg#"pkgname" === "Macaulay2Doc";
     -- package filename
     fn := pkg#"pkgname" | ".m2";
     -- authors
     au := pkg.Options.Authors;
     -- citation
-    ci := citePackage pkg;
+    ci := if isM2Doc then citePackage "M2" else if #au > 0 then citePackage pkg;
     -- exported symbols
     -- TODO: this misses exported symbols from Macaulay2Doc; is this intentional?
     e := toSequence pkg#"exported symbols";
@@ -270,14 +271,17 @@ documentationValue(Symbol, Package)         := (S, pkg) -> if pkg =!= Core then
 	DIV {
 	    SUBSECTION "Version",
 	    PARA { "This documentation describes version ", BOLD pkg.Options.Version, " of ",
-		if pkg#"pkgname" === "Macaulay2Doc" then "Macaulay2" else pkg#"pkgname", "." }},
+		if isM2Doc then "Macaulay2" else pkg#"pkgname",
+		if pkg.Options.Date =!= null then { ", released ", BOLD pkg.Options.Date }, "." }},
+	if isM2Doc or #au > 0 then
 	if instance(ci, DIV) then ci else DIV {
 	    SUBSECTION "Citation",
-	    PARA "If you have used this package in your research, please cite it as follows:",
+	    PARA { "If you have used ", if isM2Doc then "Macaulay2" else "this package",
+		" in your research, please cite it as follows:" },
 	    TABLE {"class" => "examples",
 		TR TD PRE prepend("class" => "language-bib", CODE ci)}
 	    },
-	if pkg#"pkgname" =!= "Macaulay2Doc" and #e + #m > 0 then DIV {
+	if not isM2Doc and #e + #m > 0 then DIV {
 	    SUBSECTION "Exports",
 	    DIV { "class" => "exports",
 		fixup UL {

M2/Macaulay2/packages/Brackets.m2

@@ -5,7 +5,7 @@ newPackage(
           Headline => "Brackets, Grassmann-Cayley Algebra, and Projective Geometry",
           Authors => {
 	      { Name => "Dalton Bidleman", Email => "[email protected]", HomePage => ""},
-	      { Name => "Tim Duff", Email => "[email protected]", HomePage => "https://timduff35.github.io/timduff35/"},
+	      { Name => "Timothy Duff", Email => "[email protected]", HomePage => "https://timduff35.github.io/timduff35/"},
 	      { Name => "Jack Kendrick", Email => "[email protected]", HomePage => ""},
 	      { Name => "Michael Zeng", Email => "[email protected]", HomePage => ""}		      
 	      },

M2/Macaulay2/packages/Macaulay2Doc/ov_top.m2

@@ -94,7 +94,7 @@ Node
       -- but have been credited in various documentation files.
       - Sorin Popescu
       - Manoj Kummini
-      - L. Gold
+      - Leah Gold
       - Amelia Taylor
       - Giulio Caviglia
       - Gregory G. Smith

M2/Macaulay2/packages/MultigradedBGG.m2

@@ -8,7 +8,7 @@ newPackage("MultigradedBGG",
 	{Name => "Tara Gomes",	    	     Email => "[email protected]",      HomePage => "https://cse.umn.edu/math/tara-gomes" },
 	{Name => "Prashanth Sridhar",	     Email => "[email protected]",    HomePage => "https://sites.google.com/view/prashanthsridhar/home"},
 	{Name => "Eduardo Torres Davila",    Email => "[email protected]",      HomePage => "https://etdavila10.github.io/" },
-	{Name => "Sasha	Zotine",    	     Email => "[email protected]",   HomePage => "https://sites.google.com/view/szotine/home" }
+	{Name => "Sasha Zotine",    	     Email => "[email protected]",   HomePage => "https://sites.google.com/view/szotine/home" }
     },
     PackageExports => {"NormalToricVarieties", "Complexes"},
     Keywords => {"Commutative Algebra"}

M2/Macaulay2/packages/NoetherNormalization.m2

@@ -212,8 +212,7 @@ noetherNormalization(Ideal) := opts -> I -> (
 
 noetherNormalization(QuotientRing) := noetherNormalization(PolynomialRing) := opts -> R -> (
      if not isPolynomialRing ring ideal R then error "expected a quotient of a polynomial ring";
-     noetherNormalization(ideal R, Verbose => opts.Verbose)
-     );
+     noetherNormalization(ideal R, opts))
 
 
 --=========================================================================--
@@ -249,7 +248,7 @@ document {
      Usage => "(f,J,X) = noetherNormalization C",
      Inputs => {
 	  "C" => null => {"which is either ", ofClass Ideal, " ", TT "I", ", or ", ofClass QuotientRing, " ", TT "R/I", " where ", TT "R", " is ", ofClass PolynomialRing },
-	  LimitList => List => "gives the value which ", TO "BasisElementLimit", "will take",
+	  LimitList => List => {"gives the value which ", TO "BasisElementLimit", " will take."},
 	  RandomRange => ZZ => "if not 0, gives a integer bound for the random coefficients. If 0, then chooses random elements from the coefficient field."
 	  },
      Outputs => {

M2/Macaulay2/packages/SimplicialComplexes.m2

@@ -25,8 +25,9 @@ newPackage(
 	 HomePage => "http://www.mast.queensu.ca/~ggsmith"},
         {Name => "Ben Hersey", 
 	 Email => "[email protected]"},
-        {Name => "Alexandre Zotine", 
-	 Email => "[email protected]"}
+        {Name     => "Sasha Zotine",
+	 Email    => "[email protected]",
+	 HomePage => "https://sites.google.com/view/szotine/home" }
      },
     Headline => "exploring abstract simplicial complexes within commutative algebra",
     Keywords => {"Combinatorial Commutative Algebra"},

M2/Macaulay2/packages/ToricHigherDirectImages.m2

@@ -21,7 +21,8 @@ newPackage(
     Date => "2025 April",
     Authors => {
 	{Name     => "Sasha Zotine", 
-	 Email    => "[email protected]"}
+	 Email    => "[email protected]",
+	 HomePage => "https://sites.google.com/view/szotine/home" }
 	},
     Headline => "computations involving pushforwards and higher direct images of toric maps",
     Keywords => {"Toric Geometry"},