// sorry for ill formatted JS; this takes and formats records from brazilians in a given table
[].slice.apply(
document.querySelectorAll('#primary-leaderboard tbody tr')
).filter(tr => tr.querySelector('[data-original-title=Brazil]'))
.map(tr => [].slice.apply(tr.querySelectorAll('td:nth-child(1), .username, td:nth-child(3)')))
.map(pairs => pairs.map(it => it.innerText.padStart(4, '#0')).join(': '))
.join("\n")