The process for editing and deploying srclib.org is now laid out.