Optional: You could put the ApplicationExtension and friends inside the application namespace, to avoid having to use `application::` everywhere. It is part of "application module", so conceptually it fits there.  (I know that people plan to remove it, but for now it makes the source easier to read)