Issue #1137848 by pillarsdotnet, BrockBoland, tim.plunkett: hide /filter/tips page from well behaving search engines, it is pointless to be included in search indexes