Remove a couple of .html suffixes in docs