Note that the old instructions were outdated because FontAwesome's git
repository has been completely restructured. It was not obvious which
files had to be locally installed, so the remote version is now used.