\usepackage{pdfpages}
\begin{document}
-\includepdf[landscape,booklet,pages={3-18}]{top/imp.pdf}%chktex 29 chktex 8
+\includepdf[landscape,booklet,pages={1-8}]{top/4iot.pdf}%chktex 29 chktex 8
%\includepdf[landscape,booklet,pages={69-142}]{thesis.pdf}%chktex 29 chktex 8
%\includepdf[landscape,booklet,pages={143-184}]{thesis.pdf}%chktex 29 chktex 8
%\includepdf[landscape,booklet,pages={185-}]{thesis.pdf}%chktex 29 chktex 8
\myacronym{DVFS}{dvfs}{dynamic voltage and frequency scaling}
\myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
\myacronym{EDSL}{edsl}{embedded \glsxtrlong{DSL}}
-\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming}
-\myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming}
-\myacronym[prefixfirst={a\ },prefix={an\ }]{FPGA}{FPGA}{field-programmable gate array}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{fp}{functional programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{frp}{functional reactive programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FPGA}{fpga}{field-programmable gate array}
\myacronym{GADT}{gadt}{generalised \glsxtrshort{ADT}}
\myacronym{GHC}{ghc}{Glasgow \gls{HASKELL} Compiler}
\myacronym{GPIO}{gpio}{general-purpose \glsxtrlong{IO}}
\myacronym{IR}{ir}{intermediate representation}
\myacronym{ISR}{isr}{interrupt service routine}
\myacronym{LEAN}{lean}{language of East-Anglia and Nijmegen}
-\myacronym[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
+\myacronym[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{led}{light-emitting diode}
\myacronym[category=noexpand]{OLED}{oled}{organic \glsxtrshort{LED}}
\myacronym[category=noexpand]{OS}{os}{operating system}
\myacronym{OTA}{ota}{over-the-air}