How we wrote a FontForge user manual in three days