Please document the new option in init.cpp as well.