They use scammy providers like Bright Data[1] that let app authors embed their malware (for a compensation, I'm sure) which turns users' devices into crawler proxies.
The rules that you use to compose axioms and propositions are a different set of axioms defined by the Logic system you're using. e.g., can a proof consist of infinitely many steps? Can I use the law of excluded middle? Some logic systems won't let you re-use the same proposition more than once, etc,...
They're usually considered separate, because they're orthogonal to the foundational axioms you're using to build up your mathematical systems. With the exact same system of axioms, you might be able to prove or disprove certain things using some logic systems, but not others.
This convention of units is called "natural units", and it also sets a bunch of other units to be 1, depending on the flavor (planck's constant, boltzmann's constant, etc...)
Not only does this clarify the relationships, but in many ways, these "natural constants" are an artifact from our past ignorance. Boltzmann's constant, in a way, is nothing more than a "conversion factor" that we hold over from the time when we believed temperature and energy to be two separate concepts. In the same way, the speed of light is an artifact from a time when we considered time and space to be distinct concepts, measuring them in distinct units, and needing a conversion factor (in units of distance/time) to map between them.
It's as if we would all collectively agree that the "up" direction, from now on, would be measured in floops, and the slope of a hill would be measured in floops/meter.
From a philosophical point of view, it's not just saying "measure time in units such that c = 1". It's saying "let's consider time to be a distance, and measure it in the same units as we do the other ones".
[1]: https://brightdata.com/trustcenter/sourcing