Devel

sync the 1.7 devel version to be able to search it from GitHub directly as search is disabled on forks