use uuml entity for Thomas' name

1. putty doesn't handle Unicode characters by default, making embedded Unicode characters a pain
2. should use entities instead of `ue`

At least browsers will display it correctly.