Add htmlprettify prefs into the Package Settings sub-menu