-* while using a gcc-based toolchain to cross-develop for the ARM7 core works
- reasonably well, it's a heavy toolchain to build and maintain, and the
- processor really is serious overkill for the task at hand.
+* while using a gcc-based toolchain to cross-develop for the ARM7 core worked
+ reasonably well, in 2008 it was a heavy toolchain to build and maintain,
+ and the processor was serious overkill for the task at hand. Since then,
+ ARM Cortex SOCs have become so cheap, and the required toolchain so well
+ supported in [Debian GNU/Linux](https://debian.org) and elsewhere to change
+ this from a bug to a feature.