Documentation: indent-with-non-tab uses "equivalent tabs" not 8