It seems that coq-serapi will not be maintained after Coq 8.20. How feasible is it to migrate to coqc (adding support for getting the goal) or coq-lsp? I would hate to lose Alectryon to bitrot.