Website: Sort the device names alphabetically everywhere.

This has to be done manually since we're generating content async and
thus the order of the entries cannot be guaranteed at generation time.