Added HTMLMin (which is not currently working because of a bug in HTMLMin)