* Feature: Delete submission * Small polishing --------- Co-authored-by: Julien Nahum <julien@nahum.net>
formsdev