4 ms·

I missed that in the guidelines. Good to know.

• dang 3y ago
  It's a relatively recent addition... sometime in the last 3 years I think :) Edit: June 2020. Pretty close guess! Edit 2: ah, but the bit about name collisions wasn't added until Dec 2021.
  • deleted 3y ago
    [deleted]