Update using trac-to-github @ 03d5bd9

Author: Matthias Koeppe

CategoriesCategoriesReview.md

@@ -4,18 +4,15 @@ Here are the categories/files which still need a review. They are all
 essentially empty and already 100% doctested, so the review should be
 super quick. David Kohel, Javier, or whoever please go ahead!
 
-
 ```
 groupoid                       (positive prereview - Florent; Robert: please double check)
 ```
 
-
 Everything below has a positive review.
 
-------------------------------------------------------------------------------
+---
 Franco Saliola:
 
-
 ```
 semigroups                       (positive review)
 examples/semigroups              (positive review)
@@ -26,8 +23,6 @@ examples/finite_semigroups       (positive review)
 finite_semigroups                (positive review)
 ```
 
-
-
 ```
 finite_monoids                           (positive review - Florent)
 examples/finite_monoids                  (positive review - Florent)
@@ -38,11 +33,9 @@ examples/commutative_additive_monoids    (positive review - Florent)
 commutative_additive_groups              (positive review - Florent)
 ```
 
-
-------------------------------------------------------------------------------
+---
 Nicolas (code by Florent)
 
-
 ```
 examples/sets_cat                 (positive review)
 
@@ -53,19 +46,16 @@ infinite_enumerated_sets          (positive review)
 examples/infinite_enumerated_sets (positive review)
 ```
 
-
-------------------------------------------------------------------------------
+---
 Jason Bandlow:
 
 ```
 modules_with_basis                (positive review)
 ```
 
-
-------------------------------------------------------------------------------
+---
 Florent:
 
-
 ```
 all                                         (positive review - Florent)
 basic                                       (positive review - Florent)
@@ -104,10 +94,8 @@ graded_modules_with_basis                   (positive review -- Essentially empt
 group_algebras                              (Positive review -- Essentially empty)
 ```
 
-
 David and Javier:
 
-
 ```
 algebra_ideals                 (positive review - Javier)
 algebra_modules                (positive review - Javier)
@@ -146,7 +134,6 @@ unique_factorization_domains   (positive review - Javier)
 vector_space                   (positive review - Javier)
 ```
 
-
 Florent: The two following aim to define operads over some ring. I
 marked them to be discussed since they are essentially empty and that
 if we want to have operads say in the category of sets then we will
@@ -160,9 +147,7 @@ framework may allow for a better design. I'll split them out in a
 separate patch, and we will see in the future what we will do with
 them when we will have concrete examples.
 
-
 ```
 operads                       (100% doctest)     (postponed for later)
 operads_with_basis            (100% doctest)     (postponed for later)
 ```
-

CategoriesRoadMap.md

@@ -2,4 +2,4 @@
 
 The 64-bit version of Cygwin, also known as Cygwin64, is the current target for Sage support on Windows.
 
-'''The instructions that used to be on this page have been integrated into the Sage [README](https://github.com/sagemath/sage/blob/develop/README.md#windows-preparing-the-platform) and [installation manual](https://doc.sagemath.org/html/en/installation/source.html) in [#25206](https://trac.sagemath.org/ticket/25206) .
+**The instructions that used to be on this page have been integrated into the Sage [README](https://github.com/sagemath/sage/blob/develop/README.md#windows-preparing-the-platform) and [installation manual](https://doc.sagemath.org/html/en/installation/source.html) in https://github.com/sagemath/sage/issues/25206**.

Cygwin64Port.md

@@ -2,29 +2,29 @@
 
 I think these are all of the relevant tables for ticket queries (and possibly some extra ones).
 
- * system
+* system
   * name text (pk)
   * value text
- * permission
+* permission
   * username text (pk)
   * action text (pk)
- * auth_cookie
+* auth_cookie
   * cookie text (pk)
   * name text (pk)
   * ipnr text (pk)
   * time integer
- * session
+* session
   * sid text (pk)
   * authenticated integer (pk)
   * last_visit integer
   * session_authenticated_idx (index)
   * session_last_visit_idx (index)
- * session_attribute
+* session_attribute
   * sid text (pk)
   * authenticated integer (pk)
   * name text (pk)
   * value text
- * attachment
+* attachment
   * type text (pk)
   * id text (pk)
   * filename text (pk)
@@ -33,7 +33,7 @@ I think these are all of the relevant tables for ticket queries (and possibly so
   * description text
   * author text
   * ipnr text
- * wiki
+* wiki
   * name text (pk)
   * version integer (pk)
   * time integer
@@ -43,18 +43,18 @@ I think these are all of the relevant tables for ticket queries (and possibly so
   * comment text
   * readonly integer
   * wiki_time_idx (index)
- * revision
+* revision
   * repos integer (pk)
   * rev text (pk)
   * time integer
   * author text
   * message text
   * revision_time_idx (index)
- * repository
+* repository
   * id integer(pk)
   * name text (pk)
   * value text
- * node_change
+* node_change
   * repos integer (pk)
   * rev text (pk)
   * path text (pk)
@@ -63,7 +63,7 @@ I think these are all of the relevant tables for ticket queries (and possibly so
   * base_path text
   * base_rev text
   * node_change_rev_idx (index)
- * ticket
+* ticket
   * id integer (pk)
   * type text
   * time integer
@@ -84,7 +84,7 @@ I think these are all of the relevant tables for ticket queries (and possibly so
   * ticket_pkey (index)
   * ticket_status_idx (index)
   * ticket_time_idx (index)
- * ticket_change
+* ticket_change
   * ticket integer (pk)
   * time integer (pk)
   * author text
@@ -93,28 +93,28 @@ I think these are all of the relevant tables for ticket queries (and possibly so
   * newvalue text
   * ticket_change_time_idx (index)
   * ticket_change_ticket_idx (index)
- * ticket_custom
+* ticket_custom
   * ticket integer (pk)
   * name text (pk)
   * value text
- * enum
+* enum
   * type text (pk)
   * name text (pk)
   * value text
- * component
+* component
   * name text (pk)
   * owner text
   * description text
- * milestone
+* milestone
   * name text (pk)
   * due integer
   * completed integer
   * description text
- * version
+* version
   * name text (pk)
   * time integer
   * description text
- * report
+* report
   * id integer (pk)
   * author text
   * title text