And remove html version of man page. It won’t format on github.