[sr-dev] git:master:90d1485c: topos_htable: Small update to doc