optimize build process to greatly reduce build time
Switching to manual, hardcoded language selection, and choosing 8 languages got the generation/deploy time down from 6 hours to 1.5 hours.
Also, we really do not want automatic language selection on this website. Its already so huge, we cannot afford to have it taking hours longer without manual intervention.
Also, I threw in a small commit that standardizes the spelling of F-Droid as F-Droid.