The HTML guide should say: don't write <img> tags which set an image's size to 4x less than its original size, it will look pixelated. Also, the first page say

The HTML guide should say: don't write <img> tags which set an image's size to 4x less than its original size, it will look pixelated. Also, the first page says Contribute!, but there's no link to any sources.