REF: hdistrestrict -> hdistjail, + some DOC