SRI: Fix Kramdown warnings with sed-based hacking.