tails issueshttps://gitlab.tails.boum.org/tails/tails/-/issues2020-05-15T14:14:27Zhttps://gitlab.tails.boum.org/tails/tails/-/issues/15428Rename our HTP pools2020-05-15T14:14:27ZintrigeriRename our HTP pools_Originally created by @intrigeri on [#15428 (Redmine)](https://public-redmine-archive.tails.boum.org/code/issues/15428)_
People get confused by the use of pal/neutral/foe. We should rename
these variables and update
<https://tails.boum..._Originally created by @intrigeri on [#15428 (Redmine)](https://public-redmine-archive.tails.boum.org/code/issues/15428)_
People get confused by the use of pal/neutral/foe. We should rename
these variables and update
<https://tails.boum.org/contribute/design/Time_syncing/> to clarify that
we don’t really need to trust even the “pal” pool, what we need is low
chances of members of different pools conspiring against our users.
Feature Branch: feature/15428-rename-htp-pools, htp:feature/15428-rename-htp-pools
### Related issues
- [x] **Blocked by** tails/tails#16134Tails_3.12