Nie wypali, bo ciężko to zrealizować. Skąd bot ma wiedzieć, że ma to być typograficzny cudzysłów, czy też znak sekundy lub cala?
Wg mnie prosta rzecz: zakładamy, że "." to cudzysłowy. Nie sądzę, aby ktokolwiek używał " do oznaczenia cala lub minut.
Poza tym trudność innego rodzaju - fatalnie będzie wyglądać połowa Wikipedii z takimi lub takimi formami cudzysłowów - zwłaszcza w obrębie jednego artykułu.
Połowa Wikipedii w sensie polskiej wiki?
A że to komputer a nie papier, to mozna sobie odpuścić typografię, bo jednolitość obrazu tekstu jest ważniejsza.
Nie powinniśmy sobie odpuszczać, to bez sensu trochę. Przestrzeganie podstawowych zasad polskiej typografii nie jest jakoś potwornie trudne i polska wiki mogłaby dawać dobry przykład także w tym zakresie.
Poza tym zauważ, że tytułowe pauzy i półpauzy są dostępne przy edycji z poziomu przeglądarki - więc krok w dobrym kierunku został zrobiony. Może byłoby dobrze, gdyby można było równie łatwo wstawiać polskie cudzysłowy; każdorazowe wklepywanie „ i ” jest irytujące i chyba nikomu się nie chce tego robić, albo po prostu nie wie, że tak można.
w.