Blocksworld Wiki/Extensions