Embed Notice

@evan

In its youth "Internet" was capitalized, but almost nobody does that any more. When the norm becomes "fediverse" we'll know it has become mainstream.

I've always thought "Huffman" encoding should be lower-case, since it's so well established. But that might be different because it's the name of a person, David Huffman, who invented it.