make_ari_stubs: Update wiki prefix to '13'