In addition, has someone got the slides presented during the last Coq Users and Developers Workshops?
@ZWY: If you’re not already planning to attend, note that the next CUDW is scheduled to be held online pretty soon (see Next CUDW 2020/11/30 to 2020/12/04 — Save the Date!). This is the perfect opportunity for plugin writers to learn what they need by being in close contact with Coq developers during a whole week.