API changes: use ctxt as the first argument in public methods, don't allow omitting it
Fix documentation after API changes