I'm using Amaranth for university classes, where the students have access to DE1-SoC and DE2-115 boards. The board definition for DE1-SoC in amaranth-boards is very incomplete, and there is no definition for DE2-115. However, there are pull requests with pretty good definitions, but they are waiting there for over two years. I told the students to use the definitions from the pull requests, but this doesn't leave a good impression. Are there plans for maintaining this package and accepting community contributions?