Hello, I don't know if it is an issue that people know about, but it seems as if the coop leaderboard times have not been saving for the last couple of weeks. There is a very small community of speedrunners that would appreciate it if this were fixed :).
Also, while on the topic, it'd be nice to also show what settings the run was launched with - i.e., the difficulty setting, adjustable game speed on/off, etc.