checkpoint
fix(frontend/lean/server.cpp): add "-- BEGININFO" header