Two places for bug reporting?

I was just realizing, there are two places to report bugs right now. The GitHub ( https://github.com/Facepunch/rust/issues ) and facepunch support ( http://support.facepunchstudios.com/feedback/popular/open/4-rust-bug-report ). This seems a little redundant, but I also notice that a lot of the bugs on facepunchstudios are outdated, but still not marked as fixed.