* index.html-top: Minor clarification on randomness sources.