Request rfc direct instead of searching.

Most of the time we know the rfc number but want to access the page quickly.