Adding caron to usernames in release notes

I just noticed from the commit logs that Pavel's name is spelled Pavel
Stěhule.  That mark above the e is a caron, and is explained here:

    http://en.wikipedia.org/wiki/Caron
    http://en.wikipedia.org/wiki/%C4%9A

Can anyone suggest how to get that into the release notes, considering
that we are limited to HTML4 entities in the SGML?

    http://www.w3.org/TR/html4/sgml/entities.html
    http://www.zipcon.net/~swhite/docs/computers/browsers/entities_page.html

--
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

  + It's impossible for everything to be true. +