Re #8033. Update comments.
Merge branch 'feature/8033_getbinindex_binary_search' into develop