Does anybody know what extension or application this guy used for the times listed to the right of the screen? Like the best Overworld, nether, and end times. Here is the video: https://www.speedrun.com/mcbe/run/ylv56wkm

Does anybody have a link so I can install this timer?

Are these allowed? I have a texture pack, as well as a resource pack on my Minecraft.