On Fri, Mar 15, 2024 at 10:59:02AM -0300, Carlos Pita wrote: > because the current one is really slow, particularly when browsing the > git repository. If you need faster git browsing, there is an alternative here: https://git.lyx.org Pavel