doc: convert remaining uses of core:: to std::.