README: Write-up of new abbreviation mechanism design; reformatting.