Tweak www/hotcrp version 2.55