<div dir="auto">For example in Windows.tex I see (in plain text mode) this piece of text-code:<div dir="auto"><br></div><div dir="auto"><div dir="auto">begin{figure}[htpb]</div><div dir="auto">    \centering</div><div dir="auto">    \begin{minipage}{.49\linewidth}</div><div dir="auto">        \center{\includegraphics[width=1\linewidth]{window_layout1.png}}\\ a)</div><div dir="auto">        %TODO High res image replace</div><div dir="auto"><br></div><div dir="auto">does this mean we still need better png here?</div><div dir="auto"><br></div><div dir="auto">Also, can illustrative pngs be compressed (lossy) with pngquant utility? It makes paletted pngs. Not sure how various pdf viewers will react to that ....</div></div></div>