There are some small, technical differences between shnail
and snail. The transition back to the original name begings
around this time.