Fix some glossary things: \server{}, more snark, etc.