Images: convert inline body images to WebP

[rivassec]

What

Convert inline body images in three posts to WebP to cut page weight. Cover and OG images are untouched (kept PNG for social-scraper compatibility).

Converted (inline body images only)

Post	Image	Before	After	Mode
venezuela-twitter-proxy-osint-final	who-is-chavezcandanga-com.jpg -> .webp	93.4 KB	64.2 KB	lossy q82, method 6
venezuela-twitter-proxy-osint-final	chavezcandanga-web.jpg -> .webp	140.7 KB	109.1 KB	lossy q82, method 6
leap-second-chaos-2012	leap_second_monotonic_vs_wall_clock.png -> .webp	33.1 KB	23.3 KB	lossless (see note)

Old originals git rm'd after confirming nothing else in content/, themes/, or plugins/ referenced them. Alt text preserved exactly (image-alt guard passes).

Note on the leap-second chart

That image is a palette-mode (mode=P) line chart, not a photo. The requested lossy encoding (quality=82, method=6) grew it to 63.5 KB and blurred the lines - the opposite of the goal. It was encoded as lossless WebP instead: 23.3 KB, smaller than the PNG with no quality loss. The two photographic JPEG screenshots used lossy q82 as specified.

Not converted (intentionally skipped)

• teensy-efi-bruteforce-rig - the only inline image in teensy-efi-bruteforce-hours-late.md is already .webp; nothing to do.
• No inline image doubled as a Cover: or Og_image: anywhere in content/ (checked the whole tree). Nothing skipped on that basis.

Weight delta

Total content/images weight: 1661.5 KB -> 1591.0 KB (-70.6 KB).

Verification

• Build: pelican content -o output -s publishconf.py clean; all three .webp files land in output/images/ and the built HTML references them.
• Guards pass: check_image_alt.py, check_image_budget.py (47 images within budget), check_link_graph.py (21 posts, 0 issues), check_em_dashes.py.