Can we ping the boost maintainer? Maybe they won't update until it is necessary, this will give them some reason to do it.