How Smart are Portal Speedrunners? (Speedrunner tries Portal: Revolution)