4 ms·Might be worth converting that nice PDF to indirect DjVu format to get the size down.by johntaitorg 11y agoMight be worth converting that nice PDF to indirect DjVu format to get the size down.