Revert "menu needs to be explicitly inherited" This reverts commit 7add578b. Revert "Push Maven site to another repository" This reverts commit 71d8014b.