Girder: a data management platform — Girder 5.0.20.dev12+g8f5089c33 documentation