#!/bin/sh
# Postprocesses post-grohtml output for Unicode.
sed -e 's/\&lt;GROHTML:\&amp;#\([0-9]*\);\&gt;/\&#\1;/g'
