sorting out more web IDE stuff