Rename FRESTR symbols to something more self-explanatory (thanks @eshoag2)

added 7 commits

• 4094cad8...dcd6d528 - 6 commits from branch master
• 3600dc90 - Merge branch 'master' into frestr-rename

Compare with previous version

enabled an automatic merge when the pipeline for 3600dc90 succeeds

added 1 commit

• 6c1c2ec2 - Placate flake8

Compare with previous version

merged

mentioned in commit d3a24ad8