url for the pull request that will make the navi modules workaround redundant.