eszett_replacer от Johannes

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