Move terminology block above dev comments

Reasoning: comments can be lengthy (and also contain screenshots),
so moving terminology to the top raises its visibility and brings it
closer to the source string.