eol.py: use HEAD where possible to reduce network traffic