GitLab

Index the now public CleanDB library

See merge request !230

Describe optional modified time argument of `.depend` and `.module` ABC directives

See merge request !229

Add blame_url to SoccerFun index item; use git for all items from the Clean distribution (CleanDistribution option will be removed)

Remove exclusion of StdMaybe in Cloogle from libs.json (file has been removed when the library switched to new ? syntax)

Display classes with one member with the same name as the class as overloaded functions (no where block) on the frontend

Avoid code in results to become wider than the viewport (esp. on small screens); add horizontal scrollbar

These pose a privacy threat, especially for people using the VSCode
plugin.