products: Fix OS name
web: Style fixes for download
web: Tweak SELinux description