overleaf-pro. A web-based collaborative LaTeX editor, extended from Overleaf, by @Ayaka-notes Pro Edition.