Release 0.9.3 and adjust documentation accordingly