Which VirtualDOM libraries do people use? | Hacker News Reader