Commented out commands; MSC footnote; Weil(G,g).