Comment by janpmz

I've made a version of it you can listen to: https://pdftomp3.com/player.html?example_id=6ad14c5229ba4da7...