eszett_replacer od Johannes

Replaces the German Eszett (ß/ẞ) with double s (ss/SS) everywhere on web pages.