[dsevil]

Yeah the dot is mostly a manner of preference. It looks less crowded than slashed zero maybe? The dotted zero does disambiguate from U+00D8 [LATIN CAPITAL LETTER O WITH STROKE](https://en.wikipedia.org/wiki/%C3%98).