Hillel Wayne

I'll try to write it up later this month m'self

Thanks for these suggestions! I plan to look at them all this week.

Ugh finally looking at it late --- - [x] I thought it would be worth mentioning that pc probably stands for program counter. - [x] is used in "General Tips"...

My main concern here is with conf.py: https://github.com/hwayne/alloydocs/blob/master/conf.py#L187. The intent there is to hide `todo`s for the deployed version but show it to people on their local versions. Since that...

Yup, that was the comments he had for version one. This was before I wrote practical tla+ and version two of Learntla. I I know a lot of the critique...

That makes sense. I was gonna get to learntla work again next week, can do it then if you're willing to wait. Otherwise a pr is fine! On Sun, Jul...

I did a quick test in the new optimizations work and making them clickable is just a matter of adding a `:target:` field, though annoyingly enough you have to point...

BTW, thanks for all of your comments and PRs =)

Hi @acud, can you confirm this image does what you expect it to? https://www.learntla.com/topics/optimization.html#use-the-profiler

See as #798 for a different UX bug produced under similar conditions.