このままヘルプドキュメントを書き切ってしまうか、それとも他の作業を進めるか、迷う。望ましいのはたぶん後者だが、勢いがあるうちに一気に進めた方が効率は良さそうな気もする。