Yep, looks right! Averages are used to guarantee accuracy.
Usable battery capacity is more of an art than a science, because the battery is constantly changing, Teslas have a built in buffer (up to 5 kWh depending on the model), and some car calculations include this buffer and some don't. For some in-car calculations, this buffer is included - like energy added or maximum range. For other in-car calculations, like recent trip energy or the battery hitting 0%, it's not. Tessie's calculation includes the buffer, but you're not actually supposed to use it (by driving past 0%.)
It's kind of a huge mess, but Tessie tries to make it easy.