05/23/23: Got rid of W++ and some slight changes. Use commit a59910b0 if you want to keep the W++ format.