de-novo-copy That got him a 2,000-real (US$385) fine from the Brasilia district government for being “caught in public without a protective mask,” according to Brazilian media