Rename triggering file name to be more appropriate and descriptive

[KaitYoungSmith]

Because of how "coc" reads for me it's quite triggering. There are myriad other problems documented by the Coq project with words and/or acronyms that read like this: https://github.com/coq/coq/wiki/Alternative-names

[sersorrel]

Hi! Thanks for the suggestion, I don't know if it's something we considered. Where did you come across the new code of conduct, out of interest?

Some points about the PR:

• For consistency with other filenames in the repo, please could you use the name code-of-conduct.html instead?

• Since we've already published links to the code of conduct on other platforms, I think we probably need to add a redirect from the old filename to the new one – I've just added a way to do this in Add "redirect" frontmatter property #145. If you create a file with the old name that looks something like this:

  ---
  redirect: https://www.hacksoc.org/code-of-conduct.html
  ---

  then that should do the trick.

[sersorrel]

Closing due to inactivity.