3 ms·<details> are quite handy for github comments. (Yes, they work!)by lelf 7y ago<details> are quite handy for github comments. (Yes, they work!)