A WebDAV-like server to sync Tampermonkey scripts and edit them with an external editor - View it on GitHub