you can do `make html-noplot` to not waste time on running all the examples.  It seems to me like you're not changing any examples or doc files in this PR, so it should be fine.