I would say it's a mistake, but you never know. This style has been used for github enterprise to make it "differentiate" from github.com, I don't think it's a good idea to make them look the same...

Exactly! And stands out too much from the rest of the content for my taste...

Same here, although this seems to be more of a mistake, I would very much like a dark theme

It's nowhere near the features and look of Insomnia but a pet project that I work on my spare time it's http://github.com/jsargiot/restman. The initial need was because Opera didn't had an extension of such kind.

I agree, at the end of the day being polite or not is on the developer and not the tool itself...

I didn't know there was a real "portia" spider... the things you learn everyday

This is great news for site owners too! At least some people will use the already scraped info instead of hitting the server.

Try to match these rules with the linux kernel project... you'll be surprised...

Awesome!