A little Python script i wrote to convert HTML special chars into their according name HTML entities.