Embed Notice

@aharoni I think it's a bad practice to delete stubs instead of improving them. It results in net less information for the world, and it also taints the topic, making it harder to create a new page later. A wiki page is a collaborative project, not a finished product.

Anyway, thanks for contributing to the sum of all human knowledge.