Add missing Prettify files