1. 2022-11-11 [3] [PATCH] ports.html - update operating systems table mandoc-te Raf Czlonka 2. 2022-11-07 [1] [PATCH] man.cgi: support inserting HTML code into <HE mandoc-te Abigail G