I'm not sure we should mix core with stdlib docs, what do you think?