Revert "Merge branch 'master' of https://github.com/SRechenberger/s0pra"

This reverts commit deb9e47bb950cc3590d5be376dcdd2620665cf2b, reversing
changes made to 253e8700d8b307107f35bd875854fb711e9c4345.