Please let us know what is your preferred approach.
Please, do the same as already done for http://www.debian.org/ports/mips/ http://www.debian.org/ports/mipsel/ I.e. 301 Moved Permanently Thanks Petr