Apply code conventions, stable first navigation group for user, and improve spec