It's just a natural place to showcase the initial state feature and we need a
few easy examples with initial states.

This removes dfa-with-init from ui-tests, since it's now covered by the main
example.