Update OOPSLA.md

Tricky links with auto redirects...