I am building a project based on the stackoverflow data dump. As per Database schema documentation for the public data dump and SEDE the Body of Posts / PostsWithDeleted is given as rendered HTML and not markdown. Is this html sanitized?