${ScriptLoad("codes/comm/hof.js",()=>HofDisplay()),""}


The page.title lists all public winners of Pedro's games.


### How hard is it to enter the page.title?

About 10% of players manage to finish a game; and only a handful have solved all the puzzles!
Therefore, you are officially allowed to brag to your friends about your victories. Most puzzlers, however, follow the humble path and decide not to be listed.

### Are records permanent?

Yes, for as long as site.name is live. Shall you want to remove or change your alias, please @@@ get in touch @@@.

### You beat a puzzle but you can't find your record. Why?

Most likely you have found a bug. If you solved a puzzle before page.date, record-keeping hadn't yet begun. In either case, please @@@ contact site.author @@@ to fix the situation and recover your glory!
Any impolite aliases may be removed at discretion, without notice.

#### How can you prove that a (missing) record relates to you?

Just provide the date and (approximate) time when you solved the puzzle, plus your strategy for the last level.