Board Thread:Ask the Staff/@comment-5524828-20170131153600/@comment-25390652-20170131161154

Well, we usually just get rid of the redirect if it's not used anywhere (that's why I deleted it). On the other hand, it could be a good idea for a search bar.

On the third (yes, third)  hand, I don't want to decide anything rn, even so minor ;D

Koo, what do you think?