Andrew, thank you for pointing this out.

so, it is really h264 or h265? h265 used to be slower .... And why so
heavily-compressed vcodec anyway, I was always thinking about mjpeg or friends
as best choice for proxies?

Well, it really should have been h265 BUT your suggestion that there is a better choice is correct.  After my small testing using proxy with mp4, webm, and mpeg the mpeg is almost twice as fast for making a proxy.  I also noticed that this seems to be what IgorBeghetto uses and he is a big proxy user.  So it will be changed and checked in later.  gg/Phyllis