An online snippet manager