Better way to redirect entirely from /w/docs/javadoc to new github.io site