Finished key point tweaks

The key points in software.html were tweaked to their final versions.