4 ms·

I applaud you for fixing that. As you know, when I wrote my comment, it still said "Additional terms for …"

• antonbabenko 5y ago
  Github was down. It says "information" now.