Extension repgen v2.3.13-1 update