German Wikipedia uses proper quotes instead of the straight variety. I did a lot of wikignoming a while ago and fixing quotes (and non-breaking spaces, and cita

German Wikipedia uses proper quotes instead of the straight variety. I did a lot of wikignoming a while ago and fixing quotes (and non-breaking spaces, and citation formats) was among the things I did. Being able to quickly find straight quotes on the page is very helpful in that regard.