Updated docs/scripts

  * misc.org: get rid of '.sh' extension for two scripts (both shell scripts).