You can now download the propositions in the Downloads file.