Add a check for string length in 'PdfStreamConverter.js'; and make a few small formatting tweaks in 'preferences.js'