Document work done as part of #1299