This would seem entirely adequate to me: > We discussed how to translate the pluscal in Setup, but as a refresher, it’s File → Translate PlusCal Algorithm in t

This would seem entirely adequate to me: > We discussed how to translate the pluscal in Setup, but as a refresher, it’s File → Translate PlusCal Algorithm in the menu (Ctrl+T/⌘T by keyboard). This puts a translation below the comment block: Also, if it’s an easily-missed step and something just mysteriously doesn’t work if you miss it out, that’s not a documentation bug, that’s a design bug. (I’m not familiar with it.)