Jonathan Ellis? No: Jono Xia, a former Mozilla Labs developer, writes about UI design, Ubiquity, Firefox, and usability.
HN links it for posts on Gmail's minimalist design, users who can't read URLs, Ubiquity's verbs, and Firefox versioning and keyboard tricks.
I must be missing something.
I was under the impression that Mozilla was incrementing Firefox's major version number with every new release, even if new releases didn't have api changes. As described in http://jonoscript.wordpress.com/2011/07/18/its-not-about-the-version-numbers-its-about-extension-compatibility-and-long-term-support/ for example.
Is that not the case? Is there actually some part of Firefox that other software relies on that's getting changed in not-backwards-compatible ways with every release?
11px is a pretty small default, below the recommended size. For links it also means a small target to click on.
There's some context about icons here: http://jonoscript.wordpress.com/2012/04/26/gmail-designer-arrogance-and-the-cult-of-minimalism/
If they are universally acknowledgeable (a big red X, a red dot, a green dot) then yeah they make sense, otherwise they just lead to confusion about what they do. In this case I didn't think they were adding anything to the left hand marker so I removed them.
If you recall a while back, a blog post became the top result for typing "facebook" into the firefox address bar (or something along those lines - see http://jonoscript.wordpress.com/2010/02/18/some-people-cant-read-urls/).
If the conclusions of this are to be believed, I would say that the URL matters very little.
Some article was temporarily the top Google hit when searching "facebook login". This caused some confusion among URL-unaware facebook users.
http://jonoscript.wordpress.com/2010/02/18/some-people-cant-read-urls/
I agree with you, and it reminds me of Mozilla Ubiquity, and particularly this post: https://jonoscript.wordpress.com/2008/07/26/why-verbs/
The first comment on this blog lays out some key differences: http://jonoscript.wordpress.com/2009/12/08/google-chrome-extensions/