Tuning the Katzenpost mixnet

Tuning the Katzenpost mixnet

To do

Last modified December 30, 2024: Remaining admin guide files roughed in; consistent presentation implemented (06dba777)