A kind of an opinionated tl;dr
A kind of an opinionated tl;dr
I particularly love what you did with the titles - practical advice, each backed by the appropriate "law", reads nicely and forms a clear picture in my head.
Having lots of detail is not equivalent to being complex.
Ie removing the leading zero breaks some sorting (Eg .mp3 files on an album where you know the number of tracks and hence how many leading 0s you need)
In the case of music, leading zeros on files are useful for sorting. But the music player should not use file names for sorting but track numbers, and display them without leading zeros in the interface.
I hope mods replaces yours with the original.
Thanks.
There's also CTRL+F in the browser. For the love of all that is holy, don't break it.