prettier

05c873f0 - Playground: fix 'show doc', add folding for doc-explorer (#13336)