Get user name in Razor Pages from HttpContext: where to put the code

Question

I am new to Razor Pages. I have just one page, I have Index.cshtml and Index.cshtml.cs with

public class IndexModel : PageModel

There is also