Does the typical reddit visitor know that there's more to reddit than just the default 'What's Hot' page?