No movement here this week, but its still high on my priority list.
I am aiming to excavate my work on the foundations of mathematics concurrently with updating related aspects of the logic content of Factasia.
Meanwhile the best I can offer is:
I added a panel on logic books for philosophers to the logic department.
This is excessively time consuming for the delivered value so I may have to do something to improve the information content.
The present format isn't really working for me.