Upgrade to Pepper version 25

Version 25 works fine so advertise this fact in the documentation.