Replaced decomp list with pret.github.io link

[AnonymousRandomPerson]

No description provided.

[mid-kid]

Why was the IRC link removed?

[AnonymousRandomPerson]

Not sure, it can be added back to pret.github.io if that is an issue.

[mid-kid]

I would appreciate that, yeah. It's not used very often but it solidifies our claim over the channel name in that server, should we ever need it (and some people have, in the past).

[AnonymousRandomPerson]

I see there's already a PR (pret/pret.github.io#3) that adds it. Might need to poke Pikalax about it and/or add more maintainers to the repo.

[Rangi42]

Agreed that pret/pret.github.io#3 should merge before this.

[Idain]

Looks like pret/pret.github.io#4, which is similar, was already merged. What's left to merge this PR? @vulcandth @Rangi42 @mid-kid

[vulcandth]

Looks like pret/pret.github.io#4, which is similar, was already merged. What's left to merge this PR? @vulcandth @Rangi42 @mid-kid

It seems okay to me; if there are no last minute objections i'll merge this soon.