obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);

--- a/src/Doc/Corec/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Corec/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{article} % fleqn
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsfonts}
 \usepackage{amsmath}

--- a/src/Doc/Datatypes/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Datatypes/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{article} % fleqn
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsfonts}
 \usepackage{amsmath}

--- a/src/Doc/Eisbach/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Eisbach/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper,fleqn]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}

--- a/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -4,7 +4,6 @@
 \usepackage{multicol}        % used for the two-column index
 \usepackage[bottom]{footmisc}% places footnotes at page bottom
 
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 
 \usepackage{isabelle,isabellesym}

--- a/src/Doc/Implementation/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Implementation/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper,fleqn]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}

--- a/src/Doc/Isar_Ref/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Isar_Ref/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper,fleqn]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}

--- a/src/Doc/JEdit/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/JEdit/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{rotating}

--- a/src/Doc/Locales/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Locales/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[11pt,a4paper]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{tikz}
 \usepackage{subfigure}

--- a/src/Doc/Main/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Main/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 
 %shortens document but can cause odd page breaks

--- a/src/Doc/Nitpick/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Nitpick/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[a4paper,12pt]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}

--- a/src/Doc/Sledgehammer/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[a4paper,12pt]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}

--- a/src/Doc/System/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/System/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{graphicx}